Nick Sumner

clang-plugins-demo. A simple example of defining custom plugins for clang and the clang static analyzer.

llvm-demo. A simple example of how LLVM can be used to gather static or dynamic facts about a program.

llvm-dataflow-analysis. C++

cpp-tree-sitter. Simple C++ and CMake wrapper around tree-sitter.

callgraph-profiler-template. A template for an introductory project on dynamic analysis using LLVM

web-socket-networking. Web socket based client and server in C++ using boost beast or emscripten.

single-threaded-networking. A simple single threaded client-server networking example using boost asio.

se-fault-tolerant-template. Template for a simple dynamic analysis exercise involving fault tolerance

antlr2pnf. ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"

cloude. Local llama simplification for claude

overflower-template. Template for a project to teach basic static dataflow analysis using LLVM

se-perf-template. Template for a simple software performance exercise

se-design-template. Template for a simple software design exercise

se-symex-template. Template for a simple exercise involving Angr for symbolic execution.

se-dataflow-analysis-template. Template for an introductory dataflow analysis exercise using Soot.