Performant type-checking for python.

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

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.

Generic static analysis framework.

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

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

Implementation of different forms of static program analysis techniques

A generic deobfuscator for PjOrion obfuscated python scripts

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

A toy implementation about Program Dependence Graph using LLVM

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

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).

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

Modular static malicious JavaScript detection system

BeaEngine disasm project

Static analysis framework for .NET programs.

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

Design documents related to the decompilation pipeline.

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