Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Asymptus

Automatic inference of function complexity through polynomial interpolation
Stars
5
License
No license specified
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
C++
Categories
Repo
Alternatives To Asymptus
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Codechecker2,023npm codechecker-api-js} Downloads24 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
4 months ago38otherC++
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Svf1,297npm svf-tools} Downloads120 days ago774December 09, 2023248otherC++
Static Value-Flow Analysis Framework for Source Code
Phasar857
4 months ago37otherC++
A LLVM-based static analysis framework.
Awesome Llvm Security500
4 months agomit
awesome llvm security [Welcome to PR]
Seahorn391
7 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 Asymptus
Select To Compare
Svf ⭐ 1,297
Static Value-Flow Analysis Framework for Source Code
dependent packages 1total releases 774most recent commit 20 days agonpm svf-tools} Downloads
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 7 months ago


Suggest An Alternative To asymptus
Alternative Project Comparisons
Asymptus vs Codechecker
Asymptus vs Ikos
Asymptus vs Svf
Asymptus vs Phasar
Asymptus vs Awesome Llvm Security
Asymptus vs Seahorn
Asymptus vs Dg
Asymptus vs Clang Tools Extra
Asymptus vs Clangkit
Asymptus vs Clam
Popular Llvm Projects
Rpcs3 ⭐ 13,787
PS3 emulator/debugger
most recent commit 4 months ago
Numba ⭐ 9,185
NumPy aware dynamic Python compiler using LLVM
dependent packages 146total releases 42latest release November 30, 2023most recent commit 4 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 4 months ago
Ruff ⭐ 26,818
An extremely fast Python linter and code formatter, written in Rust.
dependent packages 1,746total releases 274latest release December 04, 2023most recent commit 7 days agopypi ruff} Downloads
Swiftlint ⭐ 18,204
A tool to enforce Swift style and conventions.
total releases 79latest release December 01, 2023most recent commit 2 months ago
Php Parser ⭐ 16,433
A PHP parser written in PHP
dependent packages 1,029total releases 90latest release September 17, 2023most recent commit 4 months agopackagist nikic/php-parser} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Llvm
Static 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.