xiaoyuwang0

xiaoyuwang0's Stars

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k57580435

• sarahtattersall/PIPE

  PIPE - Platform Independent Petri Net Editor

  Language:Java231319973

• QilinPTA/Qilin

  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

  Language:Java11810630

• iocchi/PetriNetPlans

  Petri Net Plans library and applications

  Language:C++31161415

• SVF-tools/Teaching-Software-Verification

  Teaching and Learning Software Verification via SVF

  Language:C++314019

• qingkaishi/canary

  A unification-based alias analysis and related tools

  Language:C++284115

• vldtecno/PTN-Engine

  A Petri net based automation engine.

  Language:C++144416

• parasol-aser/smallrace-open-source

  LLVM-based open source static analysis framework for dynamic languages

  Language:C1200

• ycaibb/canary

  A unification-based alias analysis and some relative tools

  Language:C1000