facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 459 MB - Last synced at: about 5 hours ago - Pushed at: 1 day ago - Stars: 6,983 - Forks: 446

decomp/doc

Design documents related to the decompilation pipeline.

Language: TeX - Size: 31.2 MB - Last synced at: about 24 hours ago - Pushed at: almost 5 years ago - Stars: 26 - Forks: 3

danielplohmann/smda

SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

Language: Python - Size: 2.63 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 231 - Forks: 38

Washi1337/Echo

Generic static analysis framework.

Language: C# - Size: 2.89 MB - Last synced at: 10 days ago - Pushed at: 17 days ago - Stars: 220 - Forks: 33

BeaEngine/beaengine

BeaEngine disasm project

Language: Python - Size: 2.6 MB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 532 - Forks: 124

pfalcon/awesome-program-analysis

Program Analisys and Transformation survey and links (particular focus on SSA)

Size: 15.6 KB - Last synced at: 3 days ago - Pushed at: about 4 years ago - Stars: 168 - Forks: 25

ilyasergey/reachability

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

Language: Scala - Size: 23.3 MB - Last synced at: 15 days ago - Pushed at: over 9 years ago - Stars: 30 - Forks: 4

shramos/pyc-cfg

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

Language: Python - Size: 58.6 KB - Last synced at: 17 days ago - Pushed at: about 7 years ago - Stars: 52 - Forks: 13

grin-compiler/souffle-cfa-optimization-experiment

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

Language: HTML - Size: 1.93 MB - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 0

unpackdev/solgo

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

Language: Go - Size: 157 MB - Last synced at: 16 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

marcoantoniocorallo/Fhree

Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.

Language: OCaml - Size: 875 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

vanhauser-thc/drcfg Fork of toshipiazza/drcfg

Dynamic Control Flow Recovery

Language: C++ - Size: 136 KB - Last synced at: 9 months ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 0

Code-forlife/SPCC-Practicals

This repo offers 10 labs to learn compiler design, covering lexers, parsers, code generation, and more

Language: C - Size: 16.4 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

extremecoders-re/bytecode_simplifier

A generic deobfuscator for PjOrion obfuscated python scripts

Language: Python - Size: 127 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 93 - Forks: 36

SwathiSBhat/Static-program-analysis-techniques

Implementation of different forms of static program analysis techniques

Language: C++ - Size: 6.14 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

FuzzingLabs/octopus 📦

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

Language: Python - Size: 5.38 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 475 - Forks: 82

charitha22/cgo22ae-darm-code

Language: C++ - Size: 129 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

nsacyber/Control-Flow-Integrity 📦

A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber

Language: C - Size: 1.69 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 143 - Forks: 52

goelayu/Sprinter

A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity

Language: JavaScript - Size: 1.45 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

fiigii/Master-Thesis

My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis

Language: TeX - Size: 4.28 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

edgardozoppi/analysis-net

Static analysis framework for .NET programs.

Language: C# - Size: 2.33 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 19 - Forks: 14

fiigii/JsCFA-prototype

Abstract Interpreter for JavaScript with perfect call/return matching.

Language: Scala - Size: 3.95 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1

wenkokke/FunFlow 📦

an implementation of control-flow analysis of a simple functional programming language.

Language: Haskell - Size: 559 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

ergawy/ibn-khaldun

A library of compiler optimization algorithms. This is a project in which I learn about and practice writing optimizing compilers. Ibn-Khaldun is a famous Muslim scholar with significant contributions to economics.

Language: C - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

Aurore54F/JStap

Modular static malicious JavaScript detection system

Language: Python - Size: 428 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 35 - Forks: 13

Aurore54F/HideNoSeek

Static data flow-based analysis of JavaScript files to detect syntactic clones

Language: Python - Size: 55.7 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 17 - Forks: 3

padowla/Language-Based-Technology-For-Security

Repository containing the didactic material and three projects of Prof. Gian-Luigi Ferrari and Prof.ssa Chiara Bodei for the exam of Language Based Technology for Security of the Cybersecurity LM-66 Faculty 2020/2021 (University of Pisa).

Language: OCaml - Size: 294 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0