Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars
247
License
apache-2.0
Open Issues
3
Most Recent Commit
a month ago
Programming Language
C
Categories
Repo
Alternatives To Clam
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Codechecker2,023npm codechecker-api-js} Downloads23 months ago63March 05, 2021351apache-2.0Python
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Ikos1,935
3 months ago38otherC++
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Svf1,280npm svf-tools} Downloads114 days ago774December 09, 2023248otherC++
Static Value-Flow Analysis Framework for Source Code
Phasar857
3 months ago37otherC++
A LLVM-based static analysis framework.
Awesome Llvm Security500
3 months agomit
awesome llvm security [Welcome to PR]
Seahorn391
6 months ago20otherC
SeaHorn Verification Framework
Dg376
a year ago78mitC++
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Clang Tools Extra355
4 years ago8apache-2.0C++
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Clangkit342
3 years ago3C
ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
Clam247
a month ago3apache-2.0C
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Alternatives To Clam
Select To Compare
Svf ⭐ 1,280
Static Value-Flow Analysis Framework for Source Code
dependent packages 1total releases 774most recent commit 14 days agonpm svf-tools} Downloads
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago


Suggest An Alternative To clam
Alternative Project Comparisons
Clam vs Codechecker
Clam vs Ikos
Clam vs Svf
Clam vs Phasar
Clam vs Awesome Llvm Security
Clam vs Seahorn
Clam vs Dg
Clam vs Clang Tools Extra
Clam vs Clangkit
Popular Llvm Projects
Rpcs3 ⭐ 13,787
PS3 emulator/debugger
most recent commit 3 months ago
Numba ⭐ 9,185
NumPy aware dynamic Python compiler using LLVM
dependent packages 146total releases 42latest release November 30, 2023most recent commit 3 months ago
Popular Static Analysis Projects
Shellcheck ⭐ 34,253
ShellCheck, a static analysis tool for shell scripts
dependent packages 1total releases 3latest release November 07, 2021most recent commit 3 months ago
Ruff ⭐ 25,957
An extremely fast Python linter and code formatter, written in Rust.
dependent packages 1,746total releases 274latest release December 04, 2023most recent commit 14 days agopypi ruff} Downloads
Swiftlint ⭐ 18,204
A tool to enforce Swift style and conventions.
total releases 79latest release December 01, 2023most recent commit a month ago
Php Parser ⭐ 16,433
A PHP parser written in PHP
dependent packages 1,029total releases 90latest release September 17, 2023most recent commit 3 months agopackagist nikic/php-parser} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
C Llvm
C Static Analysis
Llvm Static Analysis
Static Analysis Abstract Interpretation
Llvm Program Analysis
C Program Analysis
C Abstract Interpretation
Llvm Abstract Interpretation
Program Analysis Abstract Interpretation
C Software Verification

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Llvm
Static Analysis
Program Analysis
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.