CrosshairAn analysis tool for Python that blurs the line between testing and type systems.
Stars: ✭ 586 (+893.22%)
Mutual labels: static-analysis, symbolic-execution
goreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 3,019 (+5016.95%)
Mutual labels: unit-testing, static-analysis
ApisanAPISan: Sanitizing API Usages through Semantic Cross-Checking
Stars: ✭ 46 (-22.03%)
Mutual labels: static-analysis, symbolic-execution
crete-devCRETE under development
Stars: ✭ 56 (-5.08%)
Mutual labels: symbolic-execution, test-generation
DeepstateA unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+922.03%)
Mutual labels: unit-testing, symbolic-execution
crusherNo description or website provided.
Stars: ✭ 21 (-64.41%)
Mutual labels: static-analysis, symbolic-execution
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (+152.54%)
Mutual labels: static-analysis, symbolic-execution
SixtyPicalA 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (-57.63%)
Mutual labels: static-analysis, symbolic-execution
Cmake ExamplesUseful CMake Examples
Stars: ✭ 7,220 (+12137.29%)
Mutual labels: unit-testing, static-analysis
CleancppprojectClean C++ project for you to use. Features: Modern CMake, CPack, Doxygen, PlantUML, Catch Unit testing, static analysis
Stars: ✭ 276 (+367.8%)
Mutual labels: unit-testing, static-analysis
BapBinary Analysis Platform
Stars: ✭ 1,385 (+2247.46%)
Mutual labels: static-analysis, symbolic-execution
ExposeA Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Stars: ✭ 94 (+59.32%)
Mutual labels: unit-testing, symbolic-execution
GoreporterA Golang tool that does static analysis, unit testing, code review and generate code quality report.
Stars: ✭ 2,943 (+4888.14%)
Mutual labels: unit-testing, static-analysis
Cfn nagLinting tool for CloudFormation templates
Stars: ✭ 808 (+1269.49%)
Mutual labels: unit-testing, static-analysis
Php testabilityAnalyses and reports testability issues of a php codebase
Stars: ✭ 136 (+130.51%)
Mutual labels: unit-testing, static-analysis
ttdoExtend tinytest with diffobj
Stars: ✭ 21 (-64.41%)
Mutual labels: unit-testing
bUnitbUnit is a testing library for Blazor components that make tests look, feel, and runs like regular unit tests. bUnit makes it easy to render and control a component under test’s life-cycle, pass parameter and inject services into it, trigger event handlers, and verify the rendered markup from the component using a built-in semantic HTML comparer.
Stars: ✭ 857 (+1352.54%)
Mutual labels: unit-testing
tryceratopsA linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).
Stars: ✭ 381 (+545.76%)
Mutual labels: static-analysis
AlcotestA lightweight and colourful test framework
Stars: ✭ 248 (+320.34%)
Mutual labels: unit-testing
tosterDSL framework for testing Android apps
Stars: ✭ 31 (-47.46%)
Mutual labels: unit-testing