Search Results for "static analysis tools for python"

CodeBlocks With A full development environment. Took a while but CodeBlocks is now upto speed and in sync with the current release version. New version of CodeBlocks supports XML based configuration, so users can do specialized compiler support if needed. Changed away from the old Msys in favor of Msys2 which has better support for a lot of things like miktex. Old package is still there if you still need it but wont be developed on anymore. Loads of modifications compared to the...

Dynamic and static analysis with Sandboxie for Windows, including EDR, ClamAV, YARA-X, custom machine learning AI, behavioral analysis, NLP-based detection, website signatures, Ghidra, Suricata, Sigma, and much more than you can imagine

...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.