Search Results for "static analysis tools for python"

...Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs, control-flow graphs, and various statistics. Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. ...

Grumpy is a Python-to-Go transcompiler and runtime designed as a near drop-in replacement for CPython 2.7 that compiles Python source to Go, then to native code. Instead of executing Python bytecode in a VM, Grumpy translates modules into Go code that calls a Go runtime library emulating Python semantics, which can yield performance and deployment benefits in Go ecosystems. The approach integrates with Go’s toolchain, enabling static binaries and potentially easier distribution in...

This project contains a set of tools for formal verification and static analysis of VHDL design.