Pinned Repositories
fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
assembly-mutator
binary-mutator
fuzzball-adaptersynth
This is a repository which will host all the changes made to FuzzBALL to support adaptor synthesis.
fuzzball-synth
Collection of drivers for adapter synthesis with FuzzBALL
IntrusionDetectionSystem
Network Intrusion Detection using an Ensemble Classifier with GA-based Feature Selection
java-ranger
Java Ranger is a path-merging extension of Symbolic PathFinder
UIGestureCollect
vaibhavbsharma's Repositories
vaibhavbsharma/java-ranger
Java Ranger is a path-merging extension of Symbolic PathFinder
vaibhavbsharma/IntrusionDetectionSystem
Network Intrusion Detection using an Ensemble Classifier with GA-based Feature Selection
vaibhavbsharma/assembly-mutator
vaibhavbsharma/binary-mutator
vaibhavbsharma/UIGestureCollect
vaibhavbsharma/fuzzball-adaptersynth
This is a repository which will host all the changes made to FuzzBALL to support adaptor synthesis.
vaibhavbsharma/fuzzball-synth
Collection of drivers for adapter synthesis with FuzzBALL
vaibhavbsharma/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
vaibhavbsharma/C--
C-- compiler written for the CSCI5161 compilers course taught at University of Minnesota.
vaibhavbsharma/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.
vaibhavbsharma/doctoraldissertation
This repository is solely for the purpose of hosting my doctoral dissertation.
vaibhavbsharma/dyninst
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
vaibhavbsharma/fse20
artifacts track, fse20
vaibhavbsharma/fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
vaibhavbsharma/jpf-core-veritesting
This is a fork of the jpf-core repository with minor changes related to adding veritesting capabilities to SPF.
vaibhavbsharma/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.
vaibhavbsharma/JPF-workshop-paper
vaibhavbsharma/keepassdroid
KeePass implementation for android
vaibhavbsharma/nsf-proposal-latex
An NSF proposal template in LaTeX
vaibhavbsharma/resume
This repository contains the most updated version of my resume.
vaibhavbsharma/soot
Soot - A Java optimization framework
vaibhavbsharma/sv-benchmarks
Collection of Verification Tasks
vaibhavbsharma/sv-comp
Information to reproduce results from SV-COMP
vaibhavbsharma/thesis-proposal
The LaTeX thesis template provided by the University of Minnesota, with various improvements.
vaibhavbsharma/UIAuth
vaibhavbsharma/vaibhavbsharma.github.io
vaibhavbsharma/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.
vaibhavbsharma/WALA
T.J. Watson Libraries for Analysis
vaibhavbsharma/WALA-start
a basic Gradle configuration to get started with WALA
vaibhavbsharma/WebComponentsTests