AI Agent Skills

A LLVM-based static analysis framework.

Compiler for LightGBM gradient-boosted trees, based on LLVM. Speeds up prediction by ≥10x.

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