Nick Sumner (nsumner)

nsumner

Geek Repo

Location:Vancouver, Canada

Home Page:https://www.cs.sfu.ca/~wsumner/

Github PK Tool:Github PK Tool

Nick Sumner's repositories

clang-plugins-demo

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

Language:C++License:NOASSERTIONStargazers:74Issues:3Issues:1

llvm-demo

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

Language:C++License:MITStargazers:69Issues:6Issues:2

callgraph-profiler-template

A template for an introductory project on dynamic analysis using LLVM

Language:LLVMLicense:MITStargazers:9Issues:1Issues:0

cpp-tree-sitter

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

Language:C++License:MITStargazers:5Issues:0Issues:0

single-threaded-networking

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

Language:C++License:MITStargazers:5Issues:1Issues:0

web-socket-networking

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

Language:C++License:MITStargazers:5Issues:2Issues:1

antlr2pnf

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

Language:PythonLicense:MITStargazers:3Issues:2Issues:0

se-fault-tolerant-template

Template for a simple dynamic analysis exercise involving fault tolerance

Language:C++License:MITStargazers:3Issues:1Issues:0

overflower-template

Template for a project to teach basic static dataflow analysis using LLVM

Language:LLVMLicense:MITStargazers:2Issues:2Issues:0

antlr2cnf

ANTLR4 to Chomsky normal form converter

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:1Issues:0

course_roster

Tools for managing team projects in courses.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

License:Apache-2.0Stargazers:0Issues:0Issues:0

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

path-profiler-template

A template for a path profiling project using LLVM

Language:LLVMLicense:MITStargazers:0Issues:2Issues:0

scrape-sfu-transcript

Basic utilities for scraping information from SFU internal transcript PDFs and dumping it to anonymized CSVs.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

se-dataflow-analysis-template

Template for an introductory dataflow analysis exercise using Soot.

Language:JavaStargazers:0Issues:1Issues:0

se-design-template

Template for a simple software design exercise

Language:C++Stargazers:0Issues:2Issues:0

se-perf-template

Template for a simple software performance exercise

Language:C++Stargazers:0Issues:1Issues:0

se-symex-template

Template for a simple exercise involving Angr for symbolic execution.

Language:PythonStargazers:0Issues:1Issues:0

simple-benchmark-demo

A simple demo of using google benchmark to illustrate performance issues

Language:C++Stargazers:0Issues:1Issues:0

tree-sitter-socialgaming

Grammar for a social gaming DSL in tree-sitter.

Language:CLicense:MITStargazers:0Issues:0Issues:0