learjet5

cloc

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

ChatALL

Concurrently chat with ChatGPT, Bing Chat, Bard, Alpaca, Vicuna, Claude, ChatGLM, MOSS, 讯飞星火, 文心一言 and more, discover the best answers

android-security-awesome

A collection of android security related resources

retdec

RetDec is a retargetable machine-code decompiler based on LLVM.

Bear

Bear is a tool that generates a compilation database for clang tooling.

dive-into-llms

《动手学大模型Dive into LLMs》系列编程实践教程

panda

Platform for Architecture-Neutral Dynamic Analysis

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

huggingface_hub

The official Python client for the Huggingface Hub.

SWE-bench

[ICLR 2024] SWE-bench: Can Language Models Resolve Real-world Github Issues?

remill

Library for lifting machine code to LLVM bitcode

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

coccinelle

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

vscode-linux-kernel

Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules

multiplier

Code auditing productivity multiplier.

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

gllvm

Whole Program LLVM: wllvm ported to go

Automatic-Exploit-Generation

Something about AEG

LLM-PLSE-paper

clang-analyzer-guide

An easy guide to Clang Static Analyzer extension.

pasta

Peter's Amazing Syntax Tree Analyzer

crix

Detect missing check bugs in OS kernels

smatch

Static Analyser for C

SUTURE

Precise and high-order static points-to/taint analysis based on LLVM IR.

Generate_Linux_Kernel_Bitcode

MetaMut

MetaMut is a mutation operator generator to facilitate compiler fuzzing.

WebSVF

WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF

ESSS

Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.

SVF-for-Linux-Kernel

Adapt SVF for Linux kernel static analysis.

Unias-repro

Reproduce and optimize the implementation of "A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel" (USENIX Security 2023).