program-analysis topic

Source Code Automated Refactoring Toolkit

m-zakeri

CySHell

A collection of recent papers, benchmarks and datasets of AI4Code domain.

bdqnghi

[ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shiyu Chang, Quanfu Fan, Gaoyuan Zhang, and Una-May O'Reilly

ALFA-group

TIRO - A hybrid iterative deobfuscation framework for Android applications

miwong

Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

danhper

An official book about Rizin

rizinorg

HexHive

Proof-of-concept tool for checking signal handlers for reentrancy issues.

yugr

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

yugr