prosyslab/tracer prosyslab/tracer

  • Stars
    star
    40
  • Rank 677,397 (Top 14 %)
  • Language
    OCaml
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
prosyslab/tracer
github

prosyslab

Reviews

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

Repository Details

Signature-based Static Analysis for Detecting Recurring Vulnerabilities

More Repositories

1

pl-wiki

43
star
2

DAFL-artifact

Python
34
star
3

sigpl23-tutorial

Jupyter Notebook
10
star
4

turbo-tv

Translation Validation for TurboFan
OCaml
7
star
5

evaluating-directed-fuzzing-artifact

Python
4
star
6

dude

OCaml
3
star
7

logger

OCaml
2
star
8

tracer-infer

HTML
2
star
9

turbo-tv-artifact

2
star
10

sparrow

OCaml
1
star
11

bayesmith-artifact

C
1
star
12

bayesmith

C
1
star
13

dude-action

Shell
1
star
14

claml

C++
1
star