CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
About
CrossHair is an analysis tool designed for Python that combines elements of testing and type systems. It allows users to add contracts to functions with type annotations and attempts to identify counterexamples by exploring execution paths using symbolic inputs. The tool can generate unit tests and detect behavioral differences between functions, making it suitable for developers looking to enhance code reliability and correctness.
Open Source Health
- Stars
- 1,324
- Forks
- 97
- License
- Not stated
- Last commit
- 29 days ago
Related Categories
Vendor
Phillip Schanely
Mostly working on "CrossHair": easy SMT, fuzzing, & verification for Python
Quick Links
Open Source
Related Products
Vscan
开源、轻量、快速、跨平台 的网站漏洞扫描工具，帮助您快速检测网站安全隐患。功能 端口扫描(port scan) 指纹识别(fingerprint) 漏洞检测(nday check) 智能爆破 (admin brute) 敏感文件扫描(file fuzz)
Top category match
jsEncrypter
一个用于前端加密Fuzz的Burp Suite插件
Top category match
Mishegos
A differential fuzzer for x86 decoders
Top category match
Oss Fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Top category match
Reg Suit
:recycle: Visual Regression Testing tool
Shared categories