Chaoshuai Li (Chaoshuai-Li)

Chaoshuai-Li

Geek Repo

Company:Hebei University of Science & Technology

Location:Hebei, Shijiazhuang

Home Page:Chaoshuai-Li.github.io

Github PK Tool:Github PK Tool

Chaoshuai Li's starred repositories

orbit

C/C++ Performance Profiler

Language:C++License:BSD-2-ClauseStargazers:4093Issues:89Issues:213

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Language:PythonLicense:Apache-2.0Stargazers:2145Issues:54Issues:1358

waline

💬 A Simple, Safe Comment System

Language:JavaScriptLicense:GPL-2.0Stargazers:2075Issues:13Issues:654

BinAbsInspector

BinAbsInspector: Vulnerability Scanner for Binaries

Language:JavaLicense:GPL-3.0Stargazers:1540Issues:26Issues:56

appshark

Appshark is a static taint analysis platform to scan vulnerabilities in an Android app.

Language:KotlinLicense:Apache-2.0Stargazers:1463Issues:19Issues:52

Tai-e

An easy-to-learn/use static analysis framework for Java

Language:JavaLicense:LGPL-3.0Stargazers:1293Issues:30Issues:103

checker-framework

Pluggable type-checking for Java

Language:JavaLicense:NOASSERTIONStargazers:993Issues:42Issues:1908

phasar

A LLVM-based static analysis framework.

Language:C++License:NOASSERTIONStargazers:916Issues:30Issues:181

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

Language:PythonLicense:MITStargazers:661Issues:29Issues:99

SootUp

A new version of Soot with a completely overhauled architecture

Language:JavaLicense:LGPL-2.1Stargazers:545Issues:15Issues:461

clang-llvm-tutorial

clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...

Language:C++License:WTFPLStargazers:260Issues:13Issues:3

DesigniteJava

Detects smells and computes metrics of Java code

Language:JavaLicense:Apache-2.0Stargazers:168Issues:14Issues:71

harbian-qa

Bug hunting through fuzzer/*-sanitizer/etc...

Language:RoffLicense:GPL-3.0Stargazers:129Issues:13Issues:5

StateFuzz

StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing

clang-plugins-demo

A simple example of defining custom plugins for clang and the clang static analyzer.

Language:C++License:NOASSERTIONStargazers:74Issues:3Issues:1

stl_container_test

《C++ STL与泛型编程高级-侯捷》视频中关于各种容器的测试代码

Language:C++License:GPL-3.0Stargazers:36Issues:0Issues:0

boomerang

Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.

Language:JavaLicense:LGPL-2.1Stargazers:22Issues:7Issues:0

CodeSimilarityChecker

Code similarity checker using clang.(AST approach)

Language:C++License:MITStargazers:14Issues:2Issues:0

ideal

IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis

Language:JavaLicense:LGPL-2.1Stargazers:10Issues:0Issues:0

RedundantScopeChecker

Clang plugin to warn about global variables that can be local.

Language:C++Stargazers:6Issues:1Issues:0

IntOverflow-CSA-plugin

Clang Static Analyzer Pluging for interger overflow detection

Language:C++Stargazers:4Issues:0Issues:0

ASTMatcher

a libtooling static checker based on clang API

Language:C++Stargazers:4Issues:4Issues:0

SootExamples

A simple example using Soot to list all def-uses of locals.

Language:JavaStargazers:3Issues:4Issues:0

Cpp20Programming

《C++20高级编程》代码记录。

Language:C++License:WTFPLStargazers:3Issues:1Issues:0

ReInstancer

Automatically Refactoring for Instanceof Pattern Matching

Language:JavaLicense:Apache-2.0Stargazers:2Issues:0Issues:0

CodeGenerator

C语言编译器

Language:C++Stargazers:2Issues:0Issues:0

clang-sanitizers-examples

List of Clang Supported Sanitizers

Language:CStargazers:2Issues:1Issues:0

visuflow

VisuFlow - An Eclipse plugin that helps static code developers in writing static analyses on top of Soot.

Language:JavaLicense:Apache-2.0Stargazers:1Issues:6Issues:8