rainoftime's repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
biglambda
Source code for the BigLambda data-parallel synthesis project.
cclyzer
A tool for analyzing LLVM bitcode using Datalog.
csi-grissom
an analysis framework for control-flow queries over incomplete failure reports
dagger
Binary Translator to LLVM IR
dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
esbmc
The efficient SMT-based bounded model checker
FuseIC3
An Algorithm for Checking Large Design Spaces
graspan-cpp
This is a C++ implementation of Graspan.
Harmonica
Code repository for the paper "Hyperparameter Optimization: A Spectral Approach" by Elad Hazan, Adam Klivans, Yang Yuan.
InvariantSynthesisForArray_C
Automatic Invariant Synthesis for Arrays in Simple Programs
JavaRelatedStudy
Software Analysis Course Study (Build With Gradle or Maven). course materials: notes, two assignments projects, reading reports. technologies included: randoop, soot, janala, gzoltar
MachineLearning_Python
机器学习算法python实现
mlpack-examples
Some ready-to-run C++ examples for mlpack
QDInvSynthesis
building quantified (including universally and existentially) and disjunctive abstract domains that leverage existing quantifier-free domains in some restricted cases: traversed by simple ``for'' loops.
revamb
The rev.ng main component: the static binary translator
smtlink
Integrate the Smtlink solver Z3 into the theorem prover ACL2.
sparrow
The Sparrow Static Analyzer
sspam
Symbolic Simplification with PAttern Matching
Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
tvla
3-Valued Logic Analyzer
vac
VERIFIER of ACCESS CONTROL
VIAP
verifier for integer assignment programs (VIAP)
WALi-OpenNWA
Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
wmc
Bayesian Network Weighted Model Counting tools