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

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