7 results found Sort:
- Filter by Primary Language:
- Python (4)
- C# (1)
- OCaml (1)
- +
Performant type-checking for python.
Created
2017-11-10
17,017 commits to main branch, last one 20 hours ago
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
This repository has been archived
(exclude archived)
Created
2018-06-13
237 commits to master branch, last one 4 years ago
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Created
2018-07-01
254 commits to master branch, last one 3 months ago
Generic static analysis framework.
Created
2019-06-07
1,312 commits to master branch, last one 2 months ago
Program Analisys and Transformation survey and links (particular focus on SSA)
Created
2018-11-07
44 commits to master branch, last one 3 years ago
A generic deobfuscator for PjOrion obfuscated python scripts
Created
2017-07-10
17 commits to master branch, last one 9 months ago
Modular static malicious JavaScript detection system
Created
2019-09-02
11 commits to master branch, last one 3 years ago