GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → pschanely → Crosshair

pschanely / Crosshair

Licence: mit
An analysis tool for Python that blurs the line between testing and type systems.

Programming Languages

python
139335 projects - #7 most used programming language

Labels

testingstatic-analysisfuzzingdynamic-analysistesting-frameworkfuzz-testingsymbolic-execution

Projects that are alternatives of or similar to Crosshair

crusher
No description or website provided.
Stars: ✭ 21 (-96.42%)
Mutual labels:  static-analysis, symbolic-execution, fuzzing
Deepstate
A unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+2.9%)
Mutual labels:  symbolic-execution, fuzzing, testing-framework
Bap
Binary Analysis Platform
Stars: ✭ 1,385 (+136.35%)
Mutual labels:  static-analysis, dynamic-analysis, symbolic-execution
Kirenenko
Super Fast Concolic Execution Engine based on Source Code Taint Tracing
Stars: ✭ 84 (-85.67%)
Mutual labels:  symbolic-execution, fuzzing
SixtyPical
A 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (-95.73%)
Mutual labels:  static-analysis, symbolic-execution
fuzzuf
Fuzzing Unification Framework
Stars: ✭ 263 (-55.12%)
Mutual labels:  fuzzing, fuzz-testing
jest-fuzz
Fuzz testing for jest
Stars: ✭ 24 (-95.9%)
Mutual labels:  fuzzing, fuzz-testing
Android-Malware-Detection
Android malware detection using static and dynamic analysis
Stars: ✭ 18 (-96.93%)
Mutual labels:  static-analysis, dynamic-analysis
ethereum-dasm
An ethereum evm bytecode disassembler and static/dynamic analysis tool
Stars: ✭ 121 (-79.35%)
Mutual labels:  static-analysis, dynamic-analysis
clusterfuzzlite
ClusterFuzzLite - Simple continuous fuzzing that runs in CI.
Stars: ✭ 315 (-46.25%)
Mutual labels:  fuzzing, fuzz-testing
Enlightn
Your performance & security consultant, an artisan command away.
Stars: ✭ 378 (-35.49%)
Mutual labels:  static-analysis, dynamic-analysis
opem
OPEM (Open Source PEM Fuel Cell Simulation Tool)
Stars: ✭ 107 (-81.74%)
Mutual labels:  static-analysis, dynamic-analysis
maloss
Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages
Stars: ✭ 46 (-92.15%)
Mutual labels:  static-analysis, dynamic-analysis
Jsfuzz
coverage guided fuzz testing for javascript
Stars: ✭ 532 (-9.22%)
Mutual labels:  fuzzing, fuzz-testing
phuzz
Find exploitable PHP files by parameter fuzzing and function call tracing
Stars: ✭ 53 (-90.96%)
Mutual labels:  fuzzing, dynamic-analysis
Syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
Stars: ✭ 3,841 (+555.46%)
Mutual labels:  fuzzing, fuzz-testing
Engine
Droidefense: Advance Android Malware Analysis Framework
Stars: ✭ 386 (-34.13%)
Mutual labels:  static-analysis, dynamic-analysis
Awesome Fuzzing
A curated list of awesome Fuzzing(or Fuzz Testing) for software security
Stars: ✭ 399 (-31.91%)
Mutual labels:  fuzzing, fuzz-testing
tiro
TIRO - A hybrid iterative deobfuscation framework for Android applications
Stars: ✭ 20 (-96.59%)
Mutual labels:  static-analysis, dynamic-analysis
r2frida-book
The radare2 + frida book for Mobile Application assessment
Stars: ✭ 38 (-93.52%)
Mutual labels:  static-analysis, dynamic-analysis
View All Similar Projects ➔

CrossHair

Join the chat at https://gitter.im/Cross_Hair/Lobby codecov Check status

An analysis tool for Python that blurs the line between testing and type systems.

THE LATEST NEWS:
Marko Ristin just published several new IDE integrations for CrossHair, including plugins for VS Code and PyCharm.

If you have a function with type annotations and add a contract in a supported syntax, CrossHair will attempt to find counterexamples for you:

Animated GIF demonstrating the verification of a python function

CrossHair works by repeatedly calling your functions with symbolic inputs. It uses an SMT solver (a kind of theorem prover) to explore viable execution paths and find counterexamples for you. This is not a new idea; an approach for Python was first described in this paper. However, to my knowledge, CrossHair is the most complete implementation of the idea: it supports symbolic lists, dictionaries, sets, and even symbolic instances of your own classes.

Try CrossHair right now, in your browser, at crosshair-web.org!

NOTE: CrossHair is in an experimental state right now. You can help though!

Documentation

Available at https://crosshair.readthedocs.io/

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].