ROPAS Lab.

Repositories

• pytea

  PyTEA: PyTorch Tensor Error Analyzer
  Python 2 0 0 0 Updated Mar 9, 2021

• PLDI2020_242_artifact_publication

  for ACM DL
  C 0 0 0 0 Updated Aug 20, 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 25 94 0 0 Updated Jul 15, 2018

• zooberry

  A software framework for global sparse analyzers and their verified validators
  Coq 2 20 1 0 Updated Oct 25, 2017

• infer

  Forked from facebook/infer

  A static analyzer for Java, C and Objective-C
  OCaml 1,641 2 2 0 Updated Aug 17, 2017