Pinned Repositories
bitvec
canary
A unification-based alias analysis and some relative tools
crocopat
crocopat
esp8266-smartwatch
ESP8266 DIY WiFi Smartwatch with MPU-9250, RTC, OLED, FT232, ...
EWAHBoolArray
A compressed bitmap class in C++.
GraphDataFormatConverter
Graph Data Converter
GraphLayoutLibrary
from https://github.com/persistentsystems/LayoutLibrary
lfcpa
Liveness-based pointer analysis for LLVM
sam_board
Hardware and software files for custom AT91SAM9N12 Linux board
sfs
staged flow sensitive pointer analysis llvm
hotpeperoncino's Repositories
hotpeperoncino/sfs
staged flow sensitive pointer analysis llvm
hotpeperoncino/lfcpa
Liveness-based pointer analysis for LLVM
hotpeperoncino/canary
A unification-based alias analysis and some relative tools
hotpeperoncino/GraphDataFormatConverter
Graph Data Converter
hotpeperoncino/GraphLayoutLibrary
from https://github.com/persistentsystems/LayoutLibrary
hotpeperoncino/sam_board
Hardware and software files for custom AT91SAM9N12 Linux board
hotpeperoncino/bitvec
hotpeperoncino/crocopat
crocopat
hotpeperoncino/esp8266-smartwatch
ESP8266 DIY WiFi Smartwatch with MPU-9250, RTC, OLED, FT232, ...
hotpeperoncino/EWAHBoolArray
A compressed bitmap class in C++.
hotpeperoncino/flix
The Flix Programming Language
hotpeperoncino/hufter
Stock Data and Backtesting API
hotpeperoncino/llvmaamock
llvm alias analysis pass mock (skeleton)
hotpeperoncino/llvmbuild
hotpeperoncino/ng-admin
Add an AngularJS admin GUI to any RESTful API
hotpeperoncino/node-zip.js
zip.js for node (trial) src copied from
hotpeperoncino/pairwise
web front-end for microsoft PICT pairwise test case generator tool, cloned from http://abouttesting.blogspot.se/2011/03/pairwise-test-case-design-part-four.html
hotpeperoncino/qemu
Pebble fork of qemu
hotpeperoncino/satsmt-example
Datalog, SAT/SMT solver first program
hotpeperoncino/souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
hotpeperoncino/SuperV3s
Evaluation board for Allwinner V3s
hotpeperoncino/SVF
Static Value-Flow Analysis in LLVM
hotpeperoncino/SVF-experiment
SVF copied from https://github.com/unsw-corg/SVF before they changed license
hotpeperoncino/ta4j
A Java library for technical analysis
hotpeperoncino/tpa
Pointer Analysis with Tunable Precision
hotpeperoncino/urban-eureka
hotpeperoncino/vlog
VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.