vaibhavbsharma Goto Github PK

assembly-mutator

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

binary-mutator

c--

C-- compiler written for the CSCI5161 compilers course taught at University of Minnesota.

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.

doctoraldissertation

This repository is solely for the purpose of hosting my doctoral dissertation.

dyninst

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

fraudresumedetector

Text Mining Project for Data Mining Class CSE881, Michigan State University

fse20

artifacts track, fse20

fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution

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

googleplay-api

Google Play Unofficial Python API

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

jpf-core-veritesting

This is a fork of the jpf-core repository with minor changes related to adding veritesting capabilities to SPF.

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.

jpf-workshop-paper

keepassdroid

KeePass implementation for android

meteorite

msu_map

iPhone msu map app

nsf-proposal-latex

An NSF proposal template in LaTeX

playdrone

Google Play Crawler

resume

This repository contains the most updated version of my resume.

soot

Soot - A Java optimization framework

sv-benchmarks

Collection of Verification Tasks

sv-comp

Information to reproduce results from SV-COMP

thesis-proposal

The LaTeX thesis template provided by the University of Minnesota, with various improvements.

uiauth

uigesturecollect