ROPAS Lab.

Repositories

PLDI2020_242_artifact_publication

for ACM DL

C 0 0 0 0 Updated Apr 18, 2020

PLDI2020_AE

C 0 0 0 0 Updated Feb 29, 2020

ssft19-ai

OCaml 1 1 0 0 Updated May 24, 2019

ssft19-sparrow

C 0 0 0 0 Updated May 23, 2019

snt

Forked from snu-sf/snt

Show-and-tell Slides

1 0 0 0 Updated Apr 26, 2019

sparrow

The Sparrow Static Analyzer

c static-analyzer abstract-interpretation

OCaml 27 88 0 0 Updated Jul 15, 2018

zooberry

A software framework for global sparse analyzers and their verified validators

Coq 3 20 1 0 Updated Oct 25, 2017

infer

Forked from facebook/infer

A static analyzer for Java, C and Objective-C

OCaml 1,527 2 2 0 Updated Aug 17, 2017