pschanely/

CrossHair

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

Owners:

$100.00

USD raised

Recent activities

rajesh270712 was rewarded by pschanely for pschanely/CrossHair# 115

about 2 months ago

pschanely submitted an output to pschanely/ CrossHair# 115

about 2 months ago

pschanely submitted an output to pschanely/ CrossHair# 115

about 2 months ago

pschanely withdrew the output of islamicfinanceaaoifi-ops to pschanely/ CrossHair# 115

about 2 months ago

pschanely submitted an output to pschanely/ CrossHair# 115

about 2 months ago

Issues

Funded Unfunded Rewarded Closed

Follow-up windows support tasks

Unfunded#467created bypschanely

$0.00

measure_support over-reports "black" (soundness-bug) cells: ~96% are false positives

Unfunded#456created bypschanely

$0.00

Symbolic float model (RealBasedSymbolicFloat) diverges from IEEE-754 → false counterexamples in %, divmod, round, pow

Unfunded#455created bypschanely

$0.00

Unsound: mutating a symbolic array.array then comparing it to a concrete array.array falsely confirms

Unfunded#453created bypschanely

$0.00

Inherited (un-overridden) static/class methods mis-bind first argument during class analysis

Unfunded#451created bypschanely

$0.00

Unsound: `crosshair check` confirms `a != Decimal("2")` (symbolic Decimal cannot reach most nonzero values)

Unfunded#448created bypschanely

$0.00

SymbolicMemoryView is always writable — memoryview readonly not modeled

Unfunded#445created bypschanely

$0.00

Investigate Python 3.15 support

Unfunded#437created bypschanely

$0.00

Support dateutil.relativedelta on the ordinal date representation

Unfunded#431created bypschanely

$0.00

Introduce lazy, import-triggered registration (and a clean pattern for optional-module libimpl)

Unfunded#430created bypschanely

$0.00

Resolve mypy warnings

Unfunded#419created bypschanely

$0.00

proxy_for_class loses type information by returning object

Unfunded#418created byrambip

$0.00

Use modern defaults for codebase

Unfunded#417created byrambip

$0.00

Triage very slow hypothesis test under crosshair

Unfunded#392created bypschanely

$0.00

Side effect not detected on Unstructured-IO/unstructured code

Unfunded#388created bypschanely

$0.00

Fine Grain audithook controls

Unfunded#383created byESPR3SS0

$0.00

Provide better error messaging when type resolution fails

Unfunded#380created byKRRT7

$0.00

Assert post-conditions not recognized

Unfunded#361created bydslinger-a2

$0.00

Eliminate FutureWarning in all supported Python versions

Unfunded#334created bypschanely

$0.00

Support symbolic indexing into concrete containers

Unfunded#332created bypschanely

$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

Missing (~esoteric) proxy type emulations

Unfunded#288created bypschanely

$0.00

Crash when integer has (way) too many digits

Unfunded#285created byZac-HD

$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

Support atomic grouping and possessive quantifiers

Unfunded#211created bypschanely

$0.00

Support annotated-types

Unfunded#201created byandrew222651

$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

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

rajesh270712 was rewarded by pschanely for pschanely/CrossHair# 115

about 2 months ago

pschanely submitted an output to pschanely/ CrossHair# 115

about 2 months ago

pschanely submitted an output to pschanely/ CrossHair# 115

about 2 months ago

pschanely withdrew the output of islamicfinanceaaoifi-ops to pschanely/ CrossHair# 115

about 2 months ago

pschanely submitted an output to pschanely/ CrossHair# 115

about 2 months ago

CrossHair

$100.00

Issues

Company

Community

Support

Connect