Search results

Make cover command bias for small inputs

enhancement

Status: Open.

#369 In pschanely/CrossHair;

· pschanely opened on Aug 16, 2025

Assert post-conditions not recognized

Status: Open.

#361 In pschanely/CrossHair;

· dslinger-a2 opened on Jun 26, 2025

Consider skipping SMT solving for integer inequalities against constants

enhancement

Status: Open.

#353 In pschanely/CrossHair;

· pschanely opened on May 12, 2025

Support symbolic indexing into concrete containers

enhancement

Status: Open.

#332 In pschanely/CrossHair;

· pschanely opened on Jan 11, 2025

Add support for the "struct" module

enhancement

Hacktoberfest

help wanted

Status: Open.

#331 In pschanely/CrossHair;

· pschanely opened on Jan 10, 2025

Cover example differs

Status: Open.

#316 In pschanely/CrossHair;

· isidroas opened on Nov 2, 2024

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

enhancement

Status: Open.

#314 In pschanely/CrossHair;

· Zac-HD opened on Oct 11, 2024

Avoid weakref nondeterminism

Status: Open.

#313 In pschanely/CrossHair;

· pschanely opened on Oct 5, 2024

Perform validating executions

enhancement

Status: Open.

#309 In pschanely/CrossHair;

· pschanely opened on Sep 23, 2024

Lazy-load function patches

enhancement

Status: Open.

#298 In pschanely/CrossHair;

· pschanely opened on Aug 13, 2024

Support binascii module

Hacktoberfest

help wanted

Status: Open.

#289 In pschanely/CrossHair;

· pschanely opened on Aug 3, 2024

Missing (~esoteric) proxy type emulations

Status: Open.

#288 In pschanely/CrossHair;

· pschanely opened on Aug 3, 2024