yuleisui

yuleisui's Stars

• rustanlys/rupta

  A Pointer Analysis Framework for Rust

  Language:Rust344

• QilinPTA/Qilin

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

  Language:Java11730

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.5k666

• srg-imperial/SaBRe

  Load-time selective binary rewriting

  Language:C15316

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k432

• mbarbar/crux-bitcode

  Easily build LLVM bitcode from popular open-source software.

  Language:Roff63

• CGCL-codes/naturalcc

  NaturalCC: An Open-Source Toolkit for Code Intelligence

  Language:Python24941

• prosyslab-classroom/is593-language-based-security

  Language:Shell286

• microsoft/llvm-mctoll

  llvm-mctoll

  Language:C++791123

• JackKing-defier/CrowdChain

  The location preserve anonymous payment system based on permissioned blockchain in CrowdOS

  Language:Java3

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM27k11.1k

• SRI-CSL/gllvm

  Whole Program LLVM: wllvm ported to go

  Language:Go28933

• skyhover/Deckard

  Code clone detection; clone-related bug detection; sematic clone analysis

  Language:C20678

• travitch/whole-program-llvm

  A wrapper script to build whole-program LLVM bitcode files

  Language:Python663126

• mbarbar/timequick

  Header-only library to quickly (coarsely) time code

  Language:C51

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++889197

• apache/skywalking

  APM, Application Performance Monitoring System

  Language:Java23.5k6.5k

• bookalope/Bookalope

  Everything related to Bookalope and its REST API.

  Language:Python135