hribz's Stars
Ericsson/codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
PLSysSec/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Xazax-hun/csa-testbench
Toolset to do differential testing on the Clang Static Analyzer
Snape3058/panda
A parallel tooling driver based on compilation database
tesseract-ocr/tesseract
Tesseract Open Source OCR Engine (main repository)
Z3Prover/z3
The Z3 Theorem Prover
analysis-tools-dev/static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
junxzm1990/ASAN--
Source code of ASAN--
purdue-secomp-lab/MEDS
wcventure/FuzzingPaper
Recent Fuzzing Paper
Marsman1996/Security-AI-Papers
j2kun/mlir-tutorial
MLIR For Beginners tutorial
trailofbits/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.
llvm/clangir
A new (MLIR based) high-level IR for clang.
seerge/g-helper
Lightweight Armoury Crate alternative for Asus laptops and ROG Ally. Control tool for ROG Zephyrus G14, G15, G16, M16, Flow X13, Flow X16, TUF, Strix, Scar and other models
PacktPublishing/LLVM-Techniques-Tips-and-Best-Practices-Clang-and-Middle-End-Libraries
LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt
fffaraz/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
HuangCongQing/UCAS_Course_2019
**科学院大学2019-2020课程(秋季,春季,夏季)
mtrebi/memory-allocators
Custom memory allocators in C++ to improve the performance of dynamic memory allocation
google/fuzzer-test-suite
Set of tests for fuzzing engines
google/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
0voice/kernel_memory_management
总结整理linux内核的内存管理的资料,包含论文,文章,视频,以及应用程序的内存泄露,内存池相关
SharingSource/LogicStack-LeetCode
公众号「宫水三叶的刷题日记」刷穿 LeetCode 系列文章源码
CS-BAOYAN/CSYuTuiMian2022
关于2022年CS保研预推免通知公告的汇总,欢迎大家积极分享预推免信息,资瓷一下互联网精神吼不吼啊?
CanNotGetUpGroup/MegaSysy
LinghaoChan/CSSummerCamp2022
关于2022年CS保研夏令营通知公告的汇总。欢迎大家积极分享夏令营信息,资瓷一下互联网精神吼不吼啊?
sunface/rust-course
“连续六年成为全世界最受喜爱的语言,无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。<<Rust语言圣经>>拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,甚至还有JS程序员关注的 WASM 和 Deno 等专题。这可能是目前最用心的 Rust 中文学习教程 / Book
rambhawan/Computer-Compiler-Lang