Similar repositories to kanghj/coccinelle:

• kanghj/coccinelle github similar
• MartinWitt/laughing-train github similar
• yyxhdy/arja github similar
• webyrd/alphaKanren github similar
• fastread/src github similar
• namin/metaprogramming github similar
• antoinemine/apron github similar
• lilicoding/soot-infoflow-android-iccta github similar
• coccinelle/coccinellery github similar
• SMAT-Lab/Scalpel github similar
• tsantalis/RefactoringMiner github similar
• noidsirius/SootTutorial github similar
• wala/WALA github similar
• coccinelle/coccinelle github similar
• rohanpadhye/JQF github similar
• secure-software-engineering/FlowDroid github similar
• nuprl/10PL github similar
• pholser/junit-quickcheck github similar
• plfa/plfa.github.io github similar
• soot-oss/soot github similar
• mattdibi/redox-keyboard github similar
• INRIA/spoon github similar
• tomprimozic/type-systems github similar
• flix/flix github similar
• klee/klee github similar
• leanprover/lean github similar
• facebookarchive/pfff github similar
• facebook/duckling github similar
• pmd/pmd github similar
• github/codeql github similar
• google/error-prone github similar
• returntocorp/semgrep github similar
• antlr/grammars-v4 github similar
• Z3Prover/z3 github similar
• fogleman/Craft github similar
• hmemcpy/milewski-ctfp-pdf github similar
• tree-sitter/tree-sitter github similar
• oracle/graal github similar
• QSCTech/zju-icicles github similar
• Developer-Y/cs-video-courses github similar