1. Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
2. KaronteKaronte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
6. packwareEffects of packers on machine-learning-based malware classifiers that use only static analysis
7. agrigentoAgrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.
8. sasiSignedness-Agnostic Strided-Interval