ClangkitClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
Stars: ✭ 330 (+15.79%)
CxxctpDEPRECATED. USE INSTEAD github.com/blockspacer/flextool
Stars: ✭ 58 (-79.65%)
CodecheckerCodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (+324.21%)
flextoolC++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (-88.77%)
StoatSTatic (LLVM) Object file Analysis Tool
Stars: ✭ 44 (-84.56%)
CheckedcChecked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
Stars: ✭ 2,692 (+844.56%)
progge.rsProgram analysis playground for a simple, imperative language
Stars: ✭ 29 (-89.82%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (-91.23%)
TON-CompilerClang compiler for Free TON Virtual Machine
Stars: ✭ 56 (-80.35%)
vuoA realtime visual programming language for interactive media.
Stars: ✭ 103 (-63.86%)
llvm-svnArch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)
Stars: ✭ 18 (-93.68%)
Clang Expand🐉 A clang tool for happy refactoring without source-code gymnastics
Stars: ✭ 182 (-36.14%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (-29.12%)
DomtresatDominator Tree LLVM Pass to Test Satisfiability
Stars: ✭ 42 (-85.26%)
PhasarA LLVM-based static analysis framework.
Stars: ✭ 503 (+76.49%)
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (-47.72%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (-15.09%)
OlifantA simple programming language targeting LLVM
Stars: ✭ 58 (-79.65%)
EmbedSanitizerEmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
Stars: ✭ 16 (-94.39%)
losLos是一个c/c++语言编译型的虚拟机。它使用llvm/clang作为其前端,losld做后端对源代码进行编译,生成los指令文件。Los is a c/c++-compiled virtual machine. It uses llvm/clang as its front end, losld does the backend to compile the source code, and generates the los directive file.
Stars: ✭ 46 (-83.86%)
adoradFast, Expressive, & High-Performance Programming Language for those who dare
Stars: ✭ 54 (-81.05%)
Chromium ClangChromium browser compiled with the Clang/LLVM compiler.
Stars: ✭ 77 (-72.98%)
systemc-compilerThis tool translates synthesizable SystemC code to synthesizable SystemVerilog.
Stars: ✭ 128 (-55.09%)
CMLFSClang-Built Musl Linux From Scratch
Stars: ✭ 51 (-82.11%)
open-opsOpen Optimizing Parallelizing System
Stars: ✭ 21 (-92.63%)
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (-5.26%)
Constexpr EverythingRewrite C++ code to automatically apply `constexpr` where possible
Stars: ✭ 178 (-37.54%)
DstepA tool for converting C and Objective-C headers to D modules
Stars: ✭ 177 (-37.89%)
Webassembly ExamplesFrom Simple To Complex. A complete collection of webassembly examples.
Stars: ✭ 177 (-37.89%)
clamStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (-36.84%)
SvfStatic Value-Flow Analysis Framework for Source Code
Stars: ✭ 540 (+89.47%)
clang-format-editorClang-Format Editor is a tool that helps you find the best Clang-Format Style for your C++, C#, Java, JavaScript, and Objective-C code.
Stars: ✭ 15 (-94.74%)
Play with llvmA book about LLVM & Clang(中文开源书:玩转 LLVM)
Stars: ✭ 175 (-38.6%)
Crab LlvmStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (-49.82%)
Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-68.42%)
stack-guardA toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain
Stars: ✭ 21 (-92.63%)
clangbuilderBuilding Clang ♡ Utility and Environment
Stars: ✭ 101 (-64.56%)
linuxLinux kernel source tree
Stars: ✭ 234 (-17.89%)
ClingThe cling C++ interpreter
Stars: ✭ 2,322 (+714.74%)
FPCheckerA dynamic analysis tool to detect floating-point errors in HPC applications.
Stars: ✭ 26 (-90.88%)
syclSYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM
Stars: ✭ 80 (-71.93%)
OCCAMOCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (-92.98%)
arch-packagesArch Linux performance important packages
Stars: ✭ 27 (-90.53%)
llvm-project-prepoFork of LLVM with modifications to support a program repository
Stars: ✭ 27 (-90.53%)
OS-CFIOrigin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
Stars: ✭ 27 (-90.53%)
CFI-LBAdaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
Stars: ✭ 13 (-95.44%)
dumb-obfuscatorTutorial on how to write the dumbest obfuscator I could think of.
Stars: ✭ 147 (-48.42%)
lldbgA lightweight native GUI for LLDB.
Stars: ✭ 83 (-70.88%)
opencilk-projectMonorepo for the OpenCilk compiler, forked from llvm/llvm-project. See the OpenCilk/infrastructure repository for build and installation instructions.
Stars: ✭ 42 (-85.26%)
lsif-clangLanguage Server Indexing Format (LSIF) generator for C, C++ and Objective C
Stars: ✭ 28 (-90.18%)
proton-clang-buildA set of scripts to build optimized LLVM and binutils toolchains. See https://github.com/kdrag0n/proton-clang for prebuilts.
Stars: ✭ 30 (-89.47%)
GllvmWhole Program LLVM: wllvm ported to go
Stars: ✭ 126 (-55.79%)
Clang Llvm Tutorialclang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
Stars: ✭ 139 (-51.23%)
MetaCGMetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
Stars: ✭ 21 (-92.63%)
CastXMLSuperbuildBuild CastXML and its dependencies (LLVM/Clang)
Stars: ✭ 32 (-88.77%)
hmg💝 My personal Gentoo/Linux configuration backup files
Stars: ✭ 16 (-94.39%)