pschanely

可能已有人在做的 issue 排在最后。 全部按时间排序

• Close testing gaps for operations on symbolic containers

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 45/100

  pschanely/CrossHair#518 · 2026年9月24日 创建

  维护者通常 1 天内回复

• CrossHairInternal "Numeric operation on symbolic while not tracing" via deep_realize → _deepconstruct → user __getstate__ (repro on attrs)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  pschanely/CrossHair#509 · 2026年9月9日 创建

  维护者通常 1 天内回复

• Follow-up windows support tasks

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 35/100

  pschanely/CrossHair#467 · 1 条评论 · 2026年7月9日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  pschanely/CrossHair#456 · 2026年7月5日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 45/100

  pschanely/CrossHair#455 · 2026年7月5日 创建

  维护者通常 1 天内回复

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

  可能重新可做 关联的 PR 已关闭且未合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 75/100

  pschanely/CrossHair#453 · 2026年7月4日 创建

  维护者通常 1 天内回复

• Investigate Python 3.15 support

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 38/100

  pschanely/CrossHair#437 · 4 条评论 · 2026年6月24日 创建

  维护者通常 1 天内回复

• Support dateutil.relativedelta on the ordinal date representation

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 35/100

  pschanely/CrossHair#431 · 2026年6月14日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 35/100

  pschanely/CrossHair#430 · 2026年6月14日 创建

  维护者通常 1 天内回复

• Use modern defaults for codebase

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 50/100

  pschanely/CrossHair#417 · 3 条评论 · 2026年5月27日 创建

  维护者通常 1 天内回复

• Triage very slow hypothesis test under crosshair

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#392 · 2026年1月26日 创建

  维护者通常 1 天内回复

• Side effect not detected on Unstructured-IO/unstructured code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  pschanely/CrossHair#388 · 2 条评论 · 2026年1月11日 创建

  维护者通常 1 天内回复

• Provide better error messaging when type resolution fails

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  pschanely/CrossHair#380 · 3 条评论 · 2025年11月1日 创建

  维护者通常 1 天内回复

• Assert post-conditions not recognized

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 28/100

  pschanely/CrossHair#361 · 4 条评论 · 2025年6月26日 创建

  维护者通常 1 天内回复

• Support symbolic indexing into concrete containers

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  pschanely/CrossHair#332 · 1 条评论 · 2025年1月11日 创建

  维护者通常 1 天内回复

• Cover example differs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 2/5 1-3 小时 新手友好度 35/100

  pschanely/CrossHair#316 · 2 条评论 · 2024年11月2日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 35/100

  pschanely/CrossHair#314 · 9 条评论 · 2024年10月11日 创建

  维护者通常 1 天内回复

• Avoid weakref nondeterminism

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#313 · 1 条评论 · 2024年10月5日 创建

  维护者通常 1 天内回复

• Perform validating executions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#309 · 1 条评论 · 2024年9月23日 创建

  维护者通常 1 天内回复

• Lazy-load function patches

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 35/100

  pschanely/CrossHair#298 · 1 条评论 · 2024年8月13日 创建

  维护者通常 1 天内回复

• Missing (~esoteric) proxy type emulations

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 45/100

  pschanely/CrossHair#288 · 2024年8月3日 创建

  维护者通常 1 天内回复

• Crash when integer has (way) too many digits

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#285 · 2 条评论 · 2024年7月24日 创建

  维护者通常 1 天内回复

• Fully support stream-based and incremental encode/decode.

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 15/100

  pschanely/CrossHair#273 · 2024年7月14日 创建

  维护者通常 1 天内回复

• Implement pluggable smtlib2 backends

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#250 · 2024年3月13日 创建

  维护者通常 1 天内回复

• Heuristics for lengths of sequence-like symbolics

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#247 · 2024年3月9日 创建

  维护者通常 1 天内回复

• Improve premature realization heuristics

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 25/100

  pschanely/CrossHair#245 · 2024年2月28日 创建

  维护者通常 1 天内回复

• Ensure all isinstance checks account for undecided types

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#237 · 2024年1月12日 创建

  维护者通常 1 天内回复

• Unexpected checking results for functions with/without type annotations

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#234 · 5 条评论 · 2024年1月10日 创建

  维护者通常 1 天内回复

• Support atomic grouping and possessive quantifiers

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#211 · 2023年7月21日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 42/100

  pschanely/CrossHair#200 · 2023年3月15日 创建

  维护者通常 1 天内回复

• "watch""check" return nothing

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  pschanely/CrossHair#199 · 6 条评论 · 2023年3月2日 创建

  维护者通常 1 天内回复

• Neovim LSP Support

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 20/100

  pschanely/CrossHair#198 · 5 条评论 · 2023年3月1日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 42/100

  pschanely/CrossHair#194 · 1 条评论 · 2022年12月9日 创建

  维护者通常 1 天内回复

• Do not attempt to short-circuit calls with concrete arguments

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#190 · 2022年11月23日 创建

  维护者通常 1 天内回复

• Re-investigate string and sequence solvers

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#189 · 7 条评论 · 2022年11月21日 创建

  维护者通常 1 天内回复

• Generated test suite with cover option contains failing tests

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#188 · 5 条评论 · 2022年11月17日 创建

  维护者通常 1 天内回复

• Extending native types doesn't work as expected

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 25/100

  pschanely/CrossHair#184 · 2 条评论 · 2022年11月11日 创建

  维护者通常 1 天内回复

• Independent blog posts about CrossHair

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  good first issue Hacktoberfest help wanted

  难度 2/5 1-2 天 新手友好度 35/100

  pschanely/CrossHair#173 · 3 条评论 · 2022年10月3日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#169 · 2022年6月3日 创建

  维护者通常 1 天内回复

• Handle revamped invocation opcodes in Python 3.11

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 30/100

  pschanely/CrossHair#168 · 1 条评论 · 2022年6月3日 创建

  维护者通常 1 天内回复

• Pretty printing object instances (counter examples)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 3/5 1-2 天 新手友好度 45/100

  pschanely/CrossHair#164 · 7 条评论 · 2022年5月27日 创建

  维护者通常 1 天内回复

• Register contracts for nondeterministic functions in the standard library

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#162 · 2 条评论 · 1 个 reaction · 2022年5月17日 创建

  维护者通常 1 天内回复

• Support literal dictionaries with symbolic keys

  可能重新可做 @aksh16 于 572 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement Hacktoberfest

  pschanely/CrossHair#154 · 5 条评论 · 已指派 1 人 · 2022年1月27日 创建

  维护者通常 1 天内回复

• Add symbolic support for BytesIO

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#151 · 2021年12月23日 创建

  维护者通常 1 天内回复

• Support targeting by package names, not just module names

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 3/5 1-2 天 新手友好度 38/100

  pschanely/CrossHair#147 · 2021年12月12日 创建

  维护者通常 1 天内回复

• Obtain symbolic values and path conditions without concretization after `path_cover` for post-testing analysis

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#142 · 4 条评论 · 2021年11月21日 创建

  维护者通常 1 天内回复

• Symbolic string encode/decode

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  pschanely/CrossHair#137 · 1 条评论 · 2021年11月6日 创建

  维护者通常 1 天内回复

• Consider moving tests outside of application code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#135 · 1 条评论 · 1 个 reaction · 2021年10月29日 创建

  维护者通常 1 天内回复

• Do not repeatedly check fully-verifiable conditions in `crosshair watch`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#134 · 2021年10月25日 创建

  维护者通常 1 天内回复

• Precondition bug missed unless invoked within function with its own precondition

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 35/100

  pschanely/CrossHair#113 · 3 条评论 · 2021年7月3日 创建

  维护者通常 1 天内回复