program-analysis topic

Static Analysis Compiler Plugin for Scala

HairyFotr

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

canliture

Static Analyzer for LLVM bitcode based on Abstract Interpretation

seahorn

Static program analysis for TIP

cs-au-dk

Static Python call graph generator

vitsalis

Type Analyzer for JavaScript

cs-au-dk

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

ExpoSEJS

Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0

Enna1

A Program Analysis Toolkit for Android

mingyuan-xia

The Ultimate program analysis framework.

ultimate-pa