Sixtypical

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
Alternatives To Sixtypical
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Bap1,926
5 months ago40mitOCaml
Binary Analysis Platform
Crosshair92413 months ago45November 10, 202350otherPython
An analysis tool for Python that blurs the line between testing and type systems.
Sys182
2 years ago17gpl-2.0LLVM
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Formulog137
6 months ago7apache-2.0Java
Datalog with support for SMT queries and first-order functional programming
Mate120
a year ago32bsd-3-clausePython
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
Utbotcpp105
3 months ago112apache-2.0C++
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Dna68
a year agoC#
Static analysis & deobfuscation framework for x86/x64
Apisan52
2 years ago6otherC++
APISan: Sanitizing API Usages through Semantic Cross-Checking
Crusher37
3 months agomitPython
Sixtypical31
4 months agootherPython
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
Alternatives To Sixtypical
Select To Compare


Alternative Project Comparisons
Popular Static Analysis Projects
Popular Symbolic Execution Projects
Popular Code Quality Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Language
Static Analysis
Symbolic Execution