Alessandro Mantovani

Results 5 repositories owned by Alessandro Mantovani

StaticAnalysisQueries

49
Stars
6
Forks
Watchers

A set of Code-ql/Joern queries to find vulnerabilities

DDFuzz

59
Stars
6
Forks
Watchers

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

LLVMPassesForSecurity

23
Stars
6
Forks
Watchers

Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering

REmind

20
Stars
2
Forks
Watchers

Code for UI, backend, engine and statistical analysis for RE

SAST_on_Decompilers

33
Stars
3
Forks
Watchers

Code and artifacts related to the Asia CCS 2022 paper