Static Value-Flow Analysis Framework for Source Code

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

Static program analysis for TIP

Teaching and Learning Software Analysis via SVF

Efficient and Precise Pointer-Tracking Data-Flow Framework

Static analysis framework for .NET programs.

Anderson points-to analysis implementation based on LLVM

Souffle + Soot points to analysis

The classic 'Rock, Paper, Scissors' game with a little more difficulty than a regular randomizer. This game is available in two versions; C++ and Python.