A LLVM-based static analysis framework which comes with a taint and type state analysis.
phasar.org
8 tools found
A LLVM-based static analysis framework which comes with a taint and type state analysis.
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
A source code analysis tool that finds bugs in C, C++, and Objective-C programs.
The LLDB Debugger.
A C compiler for LLVM. Supports C++11/14/1z C11. Developed by LLVM Team. [NCSA]
Python JIT (just in time) compiler to LLVM aimed at scientific Python by the developers of Cython and NumPy.
Implementing a Language with LLVM
everything from Python to LLVM