rohanpadhye/vasco rohanpadhye/vasco

  • Stars
    star
    88
  • Rank 375,465 (Top 8 %)
  • Language
    Java
  • License
    GNU Lesser Genera...
  • Created over 11 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rohanpadhye/vasco
github

rohanpadhye

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An inter-procedural data-flow analysis framework using value-based context sensitivity

More Repositories

1

JQF

JQF + Zest: Coverage-guided semantic fuzzing for Java.
Java
664
star
2

FuzzFactory

Domain-Specific Fuzzing with Waypoints
C
234
star
3

travioli

Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals
Python
9
star
4

jqf-resources

Playground for using JQF
Java
2
star
5

SortKeySynthesis

Demo of using Microsoft PROSE for synthesizing sort keys
C#
2
star
6

jqf-zest-example

A standalone sample test that can be fuzzed using JQF+Zest
Java
1
star