A LLVM-based static analysis framework which comes with a taint and type state analysis.
phasar.org
Results for “LLVM”
8 tools found
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.
klee-se.org
A source code analysis tool that finds bugs in C, C++, and Objective-C programs.
clang-analyzer.llvm.org
The LLDB Debugger.
lldb.llvm.org
A C compiler for LLVM. Supports C++11/14/1z C11. Developed by LLVM Team. [NCSA]
clang.llvm.org
Python JIT (just in time) compiler to LLVM aimed at scientific Python by the developers of Cython and NumPy.
numba.pydata.org
Implementing a Language with LLVM
llvm.org
everything from Python to LLVM
eli.thegreenplace.net