prosyslab/tracer prosyslab/tracer

  • Stars
    star
    38
  • Rank 688,797 (Top 14 %)
  • Language
    OCaml
  • Created almost 2 years ago
  • Updated over 1 year 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

32
star
2

DAFL-artifact

Python
29
star
3

sigpl23-tutorial

Jupyter Notebook
9
star
4

turbo-tv

Translation Validation for TurboFan
OCaml
6
star
5

dude

OCaml
3
star
6

logger

OCaml
2
star
7

tracer-infer

HTML
2
star
8

sparrow

OCaml
1
star
9

bayesmith-artifact

C
1
star
10

bayesmith

C
1
star
11

dude-action

Shell
1
star
12

claml

C++
1
star