Pinned Loading

1. secure-software-engineering/phasarsecure-software-engineering/phasarPublic

   A LLVM-based static analysis framework.

   C++ 1.1k 158

2. mds_cmds_cPublic

   Multidimensional Scaling: The SMACOF algorithm - scaling by majorizing a convex function

   C 4

3. GaZAR-UG/hello-llvmGaZAR-UG/hello-llvmPublic

   This is a small "Hello, LLVM!" program that allows one to experiment with the LLVM APIs for inspecting LLVM's intermediate representation (LLVM IR).

   C++ 2 2

4. GaZAR-UG/llvm-opt-passGaZAR-UG/llvm-opt-passPublic

   This is a minimal LLVM optimization pass that allows one to experiment with the LLVM infrastructure for analysis and optimization.

   C++ 5 3