Performant type-checking for python.
-
Updated
May 13, 2022 - OCaml
{{ message }}
Performant type-checking for python.
Program for determining types of files for Windows, Linux and MacOS.
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
I wrote some of the code to do this in a branch https://github.com/python-security/pyt/compare/class_based_views, but since I'm working on other things and this feature seems cool and important I'm making this issue
Let me know if you would like any help in implementing.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Binary Analysis Platform
| Questions | Answers |
|---|---|
| OS/arch/bits (mandatory) | Fedora 35 x86_64 |
| File format of the file you reverse (mandatory) | - |
| Architecture/bits of the file (mandatory) | - |
rizin -v full output, **not trunc |
DIE engine
Static Code Analysis
Some places use D and some use d_t. We should just pick some to standardize on the template type name.
I noticed you have a plugin for Ghidra, but it is not the only one FOSS tool available.
Rizin is a highly-portable cross-platform reverse engineering framework and a toolkit without dependencies. It has support for analyzing binaries, disassembling code, debugging programs, attaching to remote GDB/LLDB, WinDbg servers, rich plugin system (see rz-pm), and in
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Binary Analysis Framework in Rust
We should probably run go generate and other commands that generate code, such as goa gen, as part of our autobuilder.
A compiler frontend for the C programming language
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Semgrep rules registry
SeaHorn Verification Framework
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Static Analysis Compiler Plugin for Scala
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
Static program analysis for TIP
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Type Analyzer for JavaScript
A library for building abstract interpretation-based analyses
Find the ideal fuzz targets in a Rust codebase
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."
It's nice if testing doesn't produce unnecessary artifacts after running with success but keeps relevant info on fail for further inspection.
Pytest should have a nice way of creating fixtures that can post-process a test based on whether it failed or not https://docs.pytest.org/en/latest/example/simple.html#making-test-result-information-available-in-fixtures
If a test fails, then keep the