pschanely/

CrossHair

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

Owners:

$100.00

USD raised

Recent activities

amacfie funded $ 100.00 for pschanely/CrossHair# 115

about 3 years ago

pschanely added the repository

about 3 years ago

Issues

Funded Unfunded Rewarded Closed

python's `sum` function causes internal issues

Unfunded#322created byAbhiram98

$0.00

Cover example differs

Unfunded#316created byisidroas

$0.00

Publish a wasm build so Crosshair can be used on the client-side web

Unfunded#314created byZac-HD

$0.00

Lazy-load function patches

Unfunded#298created bypschanely

$0.00

Weird failures using sets

Unfunded#297created byZac-HD

$0.00

`z3.z3types.Z3Exception: b'parser error'` from interaction with `TypeVar`

Unfunded#292created byZac-HD

$0.00

Make set & frozenset constructors symbolic-aware

Unfunded#290created bypschanely

$0.00

Support binascii module

Unfunded#289created bypschanely

$0.00

Missing (~esoteric) proxy type emulations

Unfunded#288created bypschanely

$0.00

Crash when integer has (way) too many digits

Unfunded#285created byZac-HD

$0.00

z3 boolean isn't number-comparable

Unfunded#283created bypschanely

$0.00

Fully support stream-based and incremental encode/decode.

Unfunded#273created bypschanely

$0.00

Implement pluggable smtlib2 backends

Unfunded#250created bypschanely

$0.00

Heuristics for lengths of sequence-like symbolics

Unfunded#247created bypschanely

$0.00

Improve premature realization heuristics

Unfunded#245created bypschanely

$0.00

Ensure all isinstance checks account for undecided types

Unfunded#237created bypschanely

$0.00

Unexpected checking results for functions with/without type annotations

Unfunded#234created byeXceediDeaL

$0.00

Implement true floating point semantics

Unfunded#230created bypschanely

$0.00

CrossHair is missing symbolic support for `str.split` without arguments

Unfunded#223created bypschanely

$0.00

Support atomic grouping and possessive quantifiers

Unfunded#211created bypschanely

$0.00

Support annotated-types

Unfunded#201created byamacfie

$0.00

Unexpected counterexample when indexing a symbolic sequence by a object of unknown type

Unfunded#200created bypschanely

$0.00

"watch""check" return nothing

Unfunded#199created byPorcoRosso85

$0.00

Neovim LSP Support

Unfunded#198created byPorcoRosso85

$0.00

`None` in `max` and `min` goes undetected

Unfunded#194created bymristin

$0.00

Do not attempt to short-circuit calls with concrete arguments

Unfunded#190created bypschanely

$0.00

Re-investigate string and sequence solvers

Unfunded#189created bypschanely

$0.00

Generated test suite with cover option contains failing tests

Unfunded#188created byazewiusz

$0.00

Extending native types doesn't work as expected

Unfunded#184created bypschanely

$0.00

Independent blog posts about CrossHair

Unfunded#173created bypschanely

$0.00

Independent blog posts about CrossHair

Unfunded#173created bypschanely

$0.00

Contract enforcement of calls with *a/**kw on windows does not happen.

Unfunded#169created bypschanely

$0.00

Handle revamped invocation opcodes in Python 3.11

Unfunded#168created bypschanely

$0.00

Add symbolic support for `not`

Unfunded#167created bypschanely

$0.00

Pretty printing object instances (counter examples)

Unfunded#164created byPiotrZakrzewski

$0.00

Unfunded#162created bypschanely

$0.00

Unfunded#162created bypschanely

$0.00

Support literal dictionaries with symbolic keys

Unfunded#154created bypschanely

$0.00

Implement symbolic f-string support.

Unfunded#129created bypschanely

$0.00

Add a SymbolicInt.bit_count() implementation

Unfunded#124created bypschanely

$0.00

Python 3.10 Support

Unfunded#123created bypschanely

$0.00

CrossHair performs poorly on dictionary comprehensions

Unfunded#114created bypschanely

$0.00

Precondition bug missed unless invoked within function with its own precondition

Unfunded#113created byponeill

$0.00

Idea: leverage PyPy

Unfunded#108created byRik-de-Kort

$0.00

Undocumented dependency on tk

Unfunded#88created byRik-de-Kort

$0.00

Add support for checking hypothesis tests

Unfunded#45created bypschanely

$0.00

Recent activities

amacfie funded $ 100.00 for pschanely/CrossHair# 115

about 3 years ago

pschanely added the repository

about 3 years ago

CrossHair

$100.00

Issues

Company

Community

Support

Connect