Vaibhav Sharma's repositories
java-ranger
Java Ranger is a path-merging extension of Symbolic PathFinder
resume
This repository contains the most updated version of my resume.
sv-benchmarks
Collection of Verification Tasks
fse20
artifacts track, fse20
fuzzball-synth
Collection of drivers for adapter synthesis with FuzzBALL
fuzzball-adaptersynth
This is a repository which will host all the changes made to FuzzBALL to support adaptor synthesis.
fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
doctoraldissertation
This repository is solely for the purpose of hosting my doctoral dissertation.
WALA
T.J. Watson Libraries for Analysis
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.
sv-comp
Information to reproduce results from SV-COMP
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
soot
Soot - A Java optimization framework
thesis-proposal
The LaTeX thesis template provided by the University of Minnesota, with various improvements.
jpf-symbc-veritesting
This repository is now obsolete. This is a fork of the jpf-symbc repository where we were adding veritesting capabilities to SPF.
nsf-proposal-latex
An NSF proposal template in LaTeX
WALA-start
a basic Gradle configuration to get started with WALA
jpf-core-veritesting
This is a fork of the jpf-core repository with minor changes related to adding veritesting capabilities to SPF.
dyninst
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
Veritesting-SPF
This is a repository for maintaining source code that performs a static analysis of Java bytecode using Soot to enable SPF to perform Veritesting.
keepassdroid
KeePass implementation for android
C--
C-- compiler written for the CSCI5161 compilers course taught at University of Minnesota.
IntrusionDetectionSystem
Network Intrusion Detection using an Ensemble Classifier with GA-based Feature Selection