😈 Static analysis of Android applications

Generic implementation of different CFA families based on monadic decomposition

Inter-procedural analysis framework and dependency/information-flow analysis for LLVM

Some dataflow analysis in Java

Carburizer is a tool that removes hardware dependence bugs.

fgft

clang checker to find heartbleed

Static Analysis of Scala Programs - A Concept

utility for finding typos in headers guards (c language .h files)

Rules for LDV project (http://linuxtesting.org/project/ldv).

A source code static program analyzer for SIMPLE programming language written in C++

a javascript static security analysis tool

Python module for parsing gcc command lines and extracting data of interest e.g. include paths

Control thread affinity for Java

Not my code, just archiving it from google code for possible future study.

try to perform some static analysis on JavaScript

A Docker image for etsy's phan, the static analyzer for PHP

Test case generation of classic N-Puzzle game using Z3

Abstract-interpretation-based Static Analyzer for the While language

A open source Python script to perform static analysis on a Malware Binary File (portable executable).