farzamdorostkar

farzamdorostkar's Stars

• compiler-explorer/compiler-explorer

  Run compilers interactively from your web browser and interact with the assembly

  Language:TypeScript16.5k2503.3k1.8k

• 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.

  Language:Rust13.4k3215761.4k

• danmar/cppcheck

  static analysis of C/C++ code

  Language:C++5.8k21201.5k

• doxygen/doxygen

  Official doxygen git repository

  Language:C++5.7k1537.8k1.3k

• banach-space/llvm-tutor

  A collection of out-of-tree LLVM passes for teaching and learning

  Language:C++3k5560396

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2.3k53224170

• Ericsson/codechecker

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

  Language:Python2.3k531.4k381

• Tencent/TscanCode

  A static code analyzer for C++, C#, Lua

  Language:C++2k12778591

• airbus-seclab/bincat

  Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

  Language:OCaml1.7k77120163

• banach-space/clang-tutor

  A collection of out-of-tree Clang plugins for teaching and learning

  Language:C++704201764

• intel/libipt

  libipt - an Intel(R) Processor Trace decoder library

  Language:C6666192150

• quarkslab/arybo

  Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

  Language:C++302191734

• grievejia/andersen

  Andersen's inclusion-based pointer analysis re-implementation in LLVM

  Language:C++21413451

• regehr/itc-benchmarks

  static analysis benchmarks from Toyota ITC

  Language:C11222364

• vusec/dangsan

  Language:C++6321516

• parasol-aser/UFO

  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities

  Language:C325518

• tudasc/TypeART

  LLVM-based type and memory allocation tracking sanitizer

  Language:C++312585

• mc-imperial/sctbench

  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.

  Language:C286411

• utpalbora/LLOV

  LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

  Language:C++20104

• enochii/simple-pointer-analysis

  Implement pointer analysis prototype(currently including anderson, steensgard)~

  Language:C++15011

• hityangzhen/DRTracker

  data race detection

  Language:C++12203

• smackers/whoop

  automatic data race analysis for Linux device drivers

  Language:C12805

• marchartung/DataRaceBenchmark

  C++ with pthread test cases for benchmarking concurrency testing

  Language:C4200

• selabhvl/coems-racechecker

  Open source version of the COEMS dynamic data race checker

  Language:C++3501

• compor/TargetLibraryInfoAliasAnalysis

  A LLVM Alias Analysis pass based on Target Library Information

  Language:C++2

• Juhyunpark-paper/Cryptographic-Routine-Detection

  Symmetric-Key Cryptographic Routine Detection in Anti-Reverse Engineered Binaries Using Hardware Tracing

  Language:Shell210

• linD026/ucsan

  The User Concurrency Sanitizer (UCSAN)

  Language:C21110

• afd/cppcheck

  static analysis of C/C++ code

  Language:C++1000

• esaillar/MPILocalConcurrencyDetection

  Language:C110

• marchartung/Actul

  Automated Concurrency Tester and schedULer

  Language:C++1200