Java Generics Refactoring Tool for Inferring Wildcards
-
Updated
Jan 12, 2015 - Java
Java Generics Refactoring Tool for Inferring Wildcards
A java based framework for detecting SQL injection vulnerable sections within PHP code.
Survey of program analysis research with a focus on machine code
Program Analysis framework for Java
Clang plugin which fills structure pads to provoke buffer overflow errors
An efficient dynamic data-dependence profiler
A Program Analysis Toolkit for Android
Malware Behavior Analyzer
Verification of C/C++ Programs based on LLVM IR
A (Miasm2 + binaryninja) based function divination.
Inconsistent code detection for Java.
A library for dynamic analysis of multithreaded POSIX C programs
Provide tips and corrections for C programs
Static Analysis Compiler Plugin for Scala
Dynamic Program Slicing in LLVM Compiler
TIRO - A hybrid iterative deobfuscation framework for Android applications
Restarting-Free Runtime Change Handling for Android Apps.
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."