7 results found Sort:

442
6.9k
mit
114
Performant type-checking for python.
Created 2017-11-10
18,181 commits to main branch, last one 4 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
37
229
bsd-2-clause
16
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Created 2018-07-01
262 commits to master branch, last one 4 days ago
33
213
other
16
Generic static analysis framework.
Created 2019-06-07
1,323 commits to master branch, last one 16 days 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 11 months ago
16
66
agpl-3.0
6
Modular static malicious JavaScript detection system
Created 2019-09-02
11 commits to master branch, last one 4 years ago