Pinned Repositories
antlr2pnf
ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"
callgraph-profiler-template
A template for an introductory project on dynamic analysis using LLVM
clang-plugins-demo
A simple example of defining custom plugins for clang and the clang static analyzer.
cpp-tree-sitter
Simple C++ and CMake wrapper around tree-sitter.
llvm-dataflow-analysis
llvm-demo
A simple example of how LLVM can be used to gather static or dynamic facts about a program.
overflower-template
Template for a project to teach basic static dataflow analysis using LLVM
se-fault-tolerant-template
Template for a simple dynamic analysis exercise involving fault tolerance
single-threaded-networking
A simple single threaded client-server networking example using boost asio.
web-socket-networking
Web socket based client and server in C++ using boost beast or emscripten.
nsumner's Repositories
nsumner/clang-plugins-demo
A simple example of defining custom plugins for clang and the clang static analyzer.
nsumner/llvm-demo
A simple example of how LLVM can be used to gather static or dynamic facts about a program.
nsumner/llvm-dataflow-analysis
nsumner/cpp-tree-sitter
Simple C++ and CMake wrapper around tree-sitter.
nsumner/callgraph-profiler-template
A template for an introductory project on dynamic analysis using LLVM
nsumner/single-threaded-networking
A simple single threaded client-server networking example using boost asio.
nsumner/web-socket-networking
Web socket based client and server in C++ using boost beast or emscripten.
nsumner/antlr2pnf
ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"
nsumner/se-fault-tolerant-template
Template for a simple dynamic analysis exercise involving fault tolerance
nsumner/overflower-template
Template for a project to teach basic static dataflow analysis using LLVM
nsumner/antlr2cnf
ANTLR4 to Chomsky normal form converter
nsumner/callgrapher-template
nsumner/course_roster
Tools for managing team projects in courses.
nsumner/example-dependency
nsumner/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
nsumner/MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
nsumner/nsumner
nsumner/path-profiler-template
A template for a path profiling project using LLVM
nsumner/reveal-teaching-template
Template for creating nicer teaching lectures with reveal.js and markdown
nsumner/scrape-sfu-transcript
Basic utilities for scraping information from SFU internal transcript PDFs and dumping it to anonymized CSVs.
nsumner/se-dataflow-analysis-template
Template for an introductory dataflow analysis exercise using Soot.
nsumner/se-design-template
Template for a simple software design exercise
nsumner/se-perf-template
Template for a simple software performance exercise
nsumner/se-symex-template
Template for a simple exercise involving Angr for symbolic execution.
nsumner/simple-benchmark-demo
A simple demo of using google benchmark to illustrate performance issues
nsumner/tree-sitter-socialgaming
Grammar for a social gaming DSL in tree-sitter.