Pinned Repositories
ABC
BranchSelectivity
cil
C Intermediate Language
crest
DependencyAnalysis
file_io_native_agent
This is a project to catch file io events from java application using native agent written in C++.
FuzzingExamples
JANA
Java Numeric ANalysis
klee
KLEE Symbolic Execution Engine
PReach
seemantasaha's Repositories
seemantasaha/crest
seemantasaha/klee
KLEE Symbolic Execution Engine
seemantasaha/PReach
seemantasaha/ABC
seemantasaha/BranchSelectivity
seemantasaha/cil
C Intermediate Language
seemantasaha/DependencyAnalysis
seemantasaha/file_io_native_agent
This is a project to catch file io events from java application using native agent written in C++.
seemantasaha/FuzzingExamples
seemantasaha/JANA
Java Numeric ANalysis
seemantasaha/jdoop
An automatic testing tool for Java software
seemantasaha/NotificationScheduler
An android application to schedule notification based on time and location for your friends.
seemantasaha/pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
seemantasaha/testing-difficulty-assesment-sv-comp