crosshair-tool 0.0.56__cp39-cp39-macosx_11_0_arm64.whl → 0.0.100__cp39-cp39-macosx_11_0_arm64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- _crosshair_tracers.cpython-39-darwin.so +0 -0
- crosshair/__init__.py +1 -1
- crosshair/_mark_stacks.h +51 -24
- crosshair/_tracers.h +9 -5
- crosshair/_tracers_test.py +19 -9
- crosshair/auditwall.py +9 -8
- crosshair/auditwall_test.py +31 -19
- crosshair/codeconfig.py +3 -2
- crosshair/condition_parser.py +17 -133
- crosshair/condition_parser_test.py +54 -96
- crosshair/conftest.py +1 -1
- crosshair/copyext.py +91 -22
- crosshair/copyext_test.py +33 -0
- crosshair/core.py +259 -203
- crosshair/core_and_libs.py +20 -0
- crosshair/core_regestered_types_test.py +82 -0
- crosshair/core_test.py +693 -664
- crosshair/diff_behavior.py +76 -21
- crosshair/diff_behavior_test.py +132 -23
- crosshair/dynamic_typing.py +128 -18
- crosshair/dynamic_typing_test.py +91 -4
- crosshair/enforce.py +1 -6
- crosshair/enforce_test.py +15 -23
- crosshair/examples/check_examples_test.py +2 -1
- crosshair/fnutil.py +2 -3
- crosshair/fnutil_test.py +0 -7
- crosshair/fuzz_core_test.py +70 -83
- crosshair/libimpl/arraylib.py +10 -7
- crosshair/libimpl/binascii_ch_test.py +30 -0
- crosshair/libimpl/binascii_test.py +67 -0
- crosshair/libimpl/binasciilib.py +150 -0
- crosshair/libimpl/bisectlib_test.py +5 -5
- crosshair/libimpl/builtinslib.py +1002 -682
- crosshair/libimpl/builtinslib_ch_test.py +108 -30
- crosshair/libimpl/builtinslib_test.py +431 -143
- crosshair/libimpl/codecslib.py +22 -2
- crosshair/libimpl/codecslib_test.py +41 -9
- crosshair/libimpl/collectionslib.py +44 -8
- crosshair/libimpl/collectionslib_test.py +108 -20
- crosshair/libimpl/copylib.py +1 -1
- crosshair/libimpl/copylib_test.py +18 -0
- crosshair/libimpl/datetimelib.py +84 -67
- crosshair/libimpl/datetimelib_ch_test.py +12 -7
- crosshair/libimpl/datetimelib_test.py +5 -6
- crosshair/libimpl/decimallib.py +5257 -0
- crosshair/libimpl/decimallib_ch_test.py +78 -0
- crosshair/libimpl/decimallib_test.py +76 -0
- crosshair/libimpl/encodings/_encutil.py +21 -11
- crosshair/libimpl/fractionlib.py +16 -0
- crosshair/libimpl/fractionlib_test.py +80 -0
- crosshair/libimpl/functoolslib.py +19 -7
- crosshair/libimpl/functoolslib_test.py +22 -6
- crosshair/libimpl/hashliblib.py +30 -0
- crosshair/libimpl/hashliblib_test.py +18 -0
- crosshair/libimpl/heapqlib.py +32 -5
- crosshair/libimpl/heapqlib_test.py +15 -12
- crosshair/libimpl/iolib.py +7 -4
- crosshair/libimpl/ipaddresslib.py +8 -0
- crosshair/libimpl/itertoolslib_test.py +1 -1
- crosshair/libimpl/mathlib.py +165 -2
- crosshair/libimpl/mathlib_ch_test.py +44 -0
- crosshair/libimpl/mathlib_test.py +59 -16
- crosshair/libimpl/oslib.py +7 -0
- crosshair/libimpl/pathliblib_test.py +10 -0
- crosshair/libimpl/randomlib.py +1 -0
- crosshair/libimpl/randomlib_test.py +6 -4
- crosshair/libimpl/relib.py +180 -59
- crosshair/libimpl/relib_ch_test.py +26 -2
- crosshair/libimpl/relib_test.py +77 -14
- crosshair/libimpl/timelib.py +35 -13
- crosshair/libimpl/timelib_test.py +13 -3
- crosshair/libimpl/typeslib.py +15 -0
- crosshair/libimpl/typeslib_test.py +36 -0
- crosshair/libimpl/unicodedatalib_test.py +3 -3
- crosshair/libimpl/weakreflib.py +13 -0
- crosshair/libimpl/weakreflib_test.py +69 -0
- crosshair/libimpl/zliblib.py +15 -0
- crosshair/libimpl/zliblib_test.py +13 -0
- crosshair/lsp_server.py +21 -10
- crosshair/main.py +48 -28
- crosshair/main_test.py +59 -14
- crosshair/objectproxy.py +39 -14
- crosshair/objectproxy_test.py +27 -13
- crosshair/opcode_intercept.py +212 -24
- crosshair/opcode_intercept_test.py +172 -18
- crosshair/options.py +0 -1
- crosshair/patch_equivalence_test.py +5 -21
- crosshair/path_cover.py +7 -5
- crosshair/path_search.py +6 -4
- crosshair/path_search_test.py +1 -2
- crosshair/pathing_oracle.py +53 -10
- crosshair/pathing_oracle_test.py +21 -0
- crosshair/pure_importer_test.py +5 -21
- crosshair/register_contract.py +16 -6
- crosshair/register_contract_test.py +2 -14
- crosshair/simplestructs.py +154 -85
- crosshair/simplestructs_test.py +16 -2
- crosshair/smtlib.py +24 -0
- crosshair/smtlib_test.py +14 -0
- crosshair/statespace.py +319 -196
- crosshair/statespace_test.py +45 -0
- crosshair/stubs_parser.py +0 -2
- crosshair/test_util.py +87 -25
- crosshair/test_util_test.py +26 -0
- crosshair/tools/check_init_and_setup_coincide.py +0 -3
- crosshair/tools/generate_demo_table.py +2 -2
- crosshair/tracers.py +141 -49
- crosshair/type_repo.py +11 -4
- crosshair/unicode_categories.py +1 -0
- crosshair/util.py +158 -76
- crosshair/util_test.py +13 -20
- crosshair/watcher.py +4 -4
- crosshair/z3util.py +1 -1
- {crosshair_tool-0.0.56.dist-info → crosshair_tool-0.0.100.dist-info}/METADATA +45 -36
- crosshair_tool-0.0.100.dist-info/RECORD +176 -0
- {crosshair_tool-0.0.56.dist-info → crosshair_tool-0.0.100.dist-info}/WHEEL +2 -1
- crosshair/examples/hypothesis/__init__.py +0 -2
- crosshair/examples/hypothesis/bugs_detected/simple_strategies.py +0 -74
- crosshair_tool-0.0.56.dist-info/RECORD +0 -152
- /crosshair/{examples/hypothesis/bugs_detected/__init__.py → py.typed} +0 -0
- {crosshair_tool-0.0.56.dist-info → crosshair_tool-0.0.100.dist-info}/entry_points.txt +0 -0
- {crosshair_tool-0.0.56.dist-info → crosshair_tool-0.0.100.dist-info/licenses}/LICENSE +0 -0
- {crosshair_tool-0.0.56.dist-info → crosshair_tool-0.0.100.dist-info}/top_level.txt +0 -0
|
@@ -0,0 +1,176 @@
|
|
|
1
|
+
_crosshair_tracers.cpython-39-darwin.so,sha256=UNN5FZbFXveMP0opR6eyvtlY4KyKCY4WEvTs0L8Tz5Y,56920
|
|
2
|
+
crosshair/_tracers_pycompat.h,sha256=6IYnbQxrYkhBsLDAHSX25DPOwo1oYHCZUVWZ8c7YCnQ,14356
|
|
3
|
+
crosshair/pure_importer.py,sha256=-t4eowrZOQmfqK1N2tjI5POoaxRGavytwMmbRivelFg,878
|
|
4
|
+
crosshair/options.py,sha256=htQNgnrpoRjSNq6rfLBAF8nos-NNIwmP6tQYyI8ugsM,6775
|
|
5
|
+
crosshair/lsp_server_test.py,sha256=7LO1Qqxkper3Xt2krgOlGqF1O_uDObo76o4FZbIqykY,969
|
|
6
|
+
crosshair/conftest.py,sha256=BkLszApkdy6FrvzaHO7xh8_BJrG9AfytFTse-HuQVvg,653
|
|
7
|
+
crosshair/copyext_test.py,sha256=htwHivOdYRPiS6F3yM1GZR-IeG3FInt_DbOOuizHm1s,2439
|
|
8
|
+
crosshair/objectproxy.py,sha256=1cO_ApA0AKPfCRu6MIsxUOKUUEGn0b1U4IHxTC4nDGI,9790
|
|
9
|
+
crosshair/pathing_oracle_test.py,sha256=6k9-8kAbTFUvxhEKSE5NPntEW2qMWkQi4zac_U1kYxY,725
|
|
10
|
+
crosshair/objectproxy_test.py,sha256=UJuO_jUt8_OEUtgQWyhlekPOdvtM8IQ5M9I_1AqXPWM,1081
|
|
11
|
+
crosshair/stubs_parser.py,sha256=rlBTQus5BlZ3Ygg6Xzk5dbQbDtRpv6w9i2HQmGrPVmc,14240
|
|
12
|
+
crosshair/_preliminaries_test.py,sha256=r2PohNNMfIkDqsnvI6gKlJTbwBaZA9NQJueQfJMN2Eo,504
|
|
13
|
+
crosshair/dynamic_typing_test.py,sha256=8p4NOJ6i9q9mozgCYlZP3VCs-TFMDaE_7W-TyNEse4o,5907
|
|
14
|
+
crosshair/enforce.py,sha256=YVze7uYfR_bM1jUvDlU-8cF4cphRRfe78exNZ1xXtuI,10011
|
|
15
|
+
crosshair/path_search_test.py,sha256=7cqzAMXUYAtA00mq9XR5AaZChqeQyXyCfuuv53_51pk,1692
|
|
16
|
+
crosshair/condition_parser.py,sha256=F_COXnwQRmVTjoM4tULwoOdj3tsx733rAd-5LzNV1Ug,42687
|
|
17
|
+
crosshair/util.py,sha256=6t7cHAWDwFBU2zAoIn8wbiox2kc7zn_RU7_4S0qfCMI,22358
|
|
18
|
+
crosshair/dynamic_typing.py,sha256=JMcEX5HMMm9u0_lLtZI1jrAw9HGZqXyq8IYGQP4KYSc,12752
|
|
19
|
+
crosshair/register_contract.py,sha256=4p99KAUhu1k-OctIT6WX2YFbVaMCV6BDEULNvQFONGE,10387
|
|
20
|
+
crosshair/tracers.py,sha256=n6jnpt8rTFZH7ZXVwyTzc5-nqtACGWoalSxSSj_geNs,17797
|
|
21
|
+
crosshair/_tracers.h,sha256=QFBklLqMWmIpUzBIn_A4SKdpjwHs-N7ttx-F5jtWWCQ,2174
|
|
22
|
+
crosshair/type_repo.py,sha256=x_eK-YlcHv_dxDKy6m7ty0zNO6y058o3r6QJ55RcG3s,4664
|
|
23
|
+
crosshair/fnutil.py,sha256=Xs0xJPcQm0z3tWQDjd_I-ainWHTxcT61dv8A3CY3--8,13109
|
|
24
|
+
crosshair/unicode_categories.py,sha256=g4pnUPanx8KkpwI06ZUGx8GR8Myruf_EpTjyti_V4z8,333519
|
|
25
|
+
crosshair/copyext.py,sha256=6J3cj5I3DIzVBtSgTQdgb7WUdGhIYliQIT7Me2ZZJ7Q,5324
|
|
26
|
+
crosshair/_tracers_test.py,sha256=7rrK0djASmRAlWcH4SiJqrWN7hk3oB_rYwhUG4gjxm4,3645
|
|
27
|
+
crosshair/__init__.py,sha256=au2v6w_K4gASmsxN9v3XDxYwqI5-XAwk2vI_zMvcBg4,937
|
|
28
|
+
crosshair/core.py,sha256=k-TZhM20tu-4cK2zXwVdkwrFcSqYBTksNH69OqKHdQI,64367
|
|
29
|
+
crosshair/path_cover.py,sha256=TCofZ9D5q7hpEIOnifp53BvY_YyPpZZC-heZw_NuTOQ,6838
|
|
30
|
+
crosshair/enforce_test.py,sha256=C6CQ4P1FjkdIJeJg3aJynp1iLDCE6BFCEVtSqXbvmQk,4665
|
|
31
|
+
crosshair/test_util.py,sha256=D9-f-DdzJemfAUkQL0cwKxPL8RZ-5gkVmghyRcKlBJI,10367
|
|
32
|
+
crosshair/core_test.py,sha256=TpMartpXtR69BRRm5cbDW2phbJmjjrXEg_msspe4cP4,33175
|
|
33
|
+
crosshair/codeconfig.py,sha256=TaIdOKxykpk6YeTtO_Xwsa3IDBTP6g3UGkFBt0PTDR4,3959
|
|
34
|
+
crosshair/util_test.py,sha256=_KTQ0O4cLhF1pAeB8Y8Cyqbd0UyZf5KxJUaiA-ew-tE,4676
|
|
35
|
+
crosshair/watcher_test.py,sha256=Ef1YSwy68wWPR5nPjwvEKPqxltI9pE9lTbnesmDy3Bk,2764
|
|
36
|
+
crosshair/auditwall.py,sha256=sqOmfXQLgmGfWS7b8SmVv66eFM2owaGn-4Ppq453VLI,5138
|
|
37
|
+
crosshair/simplestructs_test.py,sha256=6uDdrSISHLhwnFuESkR8mUGw7m1llM6vCNDFChkfSs8,8639
|
|
38
|
+
crosshair/z3util_test.py,sha256=CZovn4S9mYcG_yQegcxm80VHrvUdvNei0gvGTF9TOrk,173
|
|
39
|
+
crosshair/diff_behavior.py,sha256=_5X_pTN0_-rSPrh8dfpODJG_phFMn7fWc-_zLgO3UTk,11253
|
|
40
|
+
crosshair/condition_parser_test.py,sha256=UcgxzqrBLUMScif_RrgHvrhjzWx1KUPgAQOEmfJw7lc,15500
|
|
41
|
+
crosshair/pure_importer_test.py,sha256=Xjtlwn1mj7g-6VA87lrvzfUADCjlmn1wgHtbrnc0uuY,421
|
|
42
|
+
crosshair/fnutil_test.py,sha256=cLHJ9uhQf797sTxuh4BGgQ0Fo5rcQFStkiPbzQPhIXA,2091
|
|
43
|
+
crosshair/stubs_parser_test.py,sha256=0itTT0Udul_51RJXNv6KB97z44gYze6NZfKJL7yIDzA,1228
|
|
44
|
+
crosshair/options_test.py,sha256=lzA-XtwEwQPa4wV1wwhCRKhyLOvIhThU9WK5QRaRbxQ,379
|
|
45
|
+
crosshair/patch_equivalence_test.py,sha256=eoLaGRvrR9nGUO_ybZ9XsWhs5ejC4IEPd0k-ihG3Nsg,2580
|
|
46
|
+
crosshair/abcstring.py,sha256=ROU8LzS7kfEU2L_D3QfhVxIjrYr1VctwUWfylC7KlCc,6549
|
|
47
|
+
crosshair/_mark_stacks.h,sha256=j86qubOUvVhoR19d74iQ084RrTEq8M6oT4wJsGQUySY,28678
|
|
48
|
+
crosshair/fuzz_core_test.py,sha256=bLzdHBROzX3P3cfBeDTY9bJbfhe-CCoeLOF4Mt31wm0,17443
|
|
49
|
+
crosshair/unicode_categories_test.py,sha256=ZAU37IDGm9PDvwy_CGFcrF9Waa8JuUNdI4aq74wkB6c,739
|
|
50
|
+
crosshair/statespace_test.py,sha256=oOch7X1cK5YnglUF30_UelQqr0o9lNG71M0eNyN7jac,3517
|
|
51
|
+
crosshair/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
52
|
+
crosshair/lsp_server.py,sha256=xaVBJL_Ra0Az-8ONA7KVmql3s2SzbW0ehsnK9Ag89tM,9031
|
|
53
|
+
crosshair/path_search.py,sha256=wwZjp-3E4dENnJa6BlnSq8FARkIx0PyUYc7kvH32A2k,5588
|
|
54
|
+
crosshair/auditwall_test.py,sha256=VPcw_OW3nl3BkOZY4wEEtVDyTamdgqD4IjRccI2p5vI,2030
|
|
55
|
+
crosshair/smtlib_test.py,sha256=edzEn19u2YYHxSzG9RrMiu2HTiEexAuehC3IlG9LuJM,511
|
|
56
|
+
crosshair/register_contract_test.py,sha256=9AWv9psiAredvcOlK2_pBpsgwIgBbecWyKEEvWiWBSI,4954
|
|
57
|
+
crosshair/statespace.py,sha256=aUHImgXxRkk790nmfu8r0gj5O5ECK9itZoOV0Qa1QrQ,45243
|
|
58
|
+
crosshair/opcode_intercept_test.py,sha256=Si3rJQR5cs5d4uB8uwE2K8MjP8rE1a4yHkjXzhfS10A,9241
|
|
59
|
+
crosshair/main_test.py,sha256=2xpgNqog__XcYffGcwPeEEmr0Vy4EgVZE8GCAjQnE8U,14834
|
|
60
|
+
crosshair/codeconfig_test.py,sha256=RnC-RnNpr6If4eHmOepDZ33MCmfyhup08dzHKCm5xWA,3350
|
|
61
|
+
crosshair/watcher.py,sha256=kCCMlLe2KhW5MbEbMmixNRjRAvu5CypIAGd1V_YZ9QM,10048
|
|
62
|
+
crosshair/test_util_test.py,sha256=_r8DtAI5b1Yn1ruv9o51FWHmARII3-WDkWWnnY1iaAw,943
|
|
63
|
+
crosshair/opcode_intercept.py,sha256=atmnEDG9oDP0zlkGjJRAsYhD0Aw_PORf4coZZz2JgWw,23060
|
|
64
|
+
crosshair/simplestructs.py,sha256=3brU_stR8WYztHxlhSW38FJkBDb7LwC6peuXHrkWBDA,34447
|
|
65
|
+
crosshair/tracers_test.py,sha256=EBK_ZCy2MsxqmEaGjo0uw9zAztW9O6fhCW_0PJxyTS8,3270
|
|
66
|
+
crosshair/smtlib.py,sha256=hh-P32KHoH9BCq3oDYGp2PfOeOb8CwDj8tTkgqroLD8,689
|
|
67
|
+
crosshair/main.py,sha256=CY3PBcis302n0KvqoyDDoqtthNL4XASXHssO1I7DkJM,34707
|
|
68
|
+
crosshair/path_cover_test.py,sha256=U46zw4-m7yAXhu8-3Xnhvf-_9Ov5ivfCAm5euGwpRFA,4089
|
|
69
|
+
crosshair/__main__.py,sha256=zw9Ylf8v2fGocE57o4FqvD0lc7U4Ld2GbeCGxRWrpqo,252
|
|
70
|
+
crosshair/pathing_oracle.py,sha256=qa-_OlyuCHpNHkK5xN8OvxRgOEOA56VpGf0jUIR8L-M,10513
|
|
71
|
+
crosshair/diff_behavior_test.py,sha256=nCpzOjrw0qsYgVhD2iCvKiNAt82SrfUWxWS5mPSE73w,7215
|
|
72
|
+
crosshair/core_and_libs.py,sha256=8FGL62GnyX6WHOqKh0rqJ0aJ_He5pwZm_zwPXTaPqhI,3963
|
|
73
|
+
crosshair/core_regestered_types_test.py,sha256=er3ianvu-l0RS-WrS46jmOWr4Jq06Cec9htAXGXJSNg,2099
|
|
74
|
+
crosshair/z3util.py,sha256=AkslxCSfzgSni6oWXUckWihWn3LuceQycR0X3D3ZhD8,1759
|
|
75
|
+
crosshair/tools/generate_demo_table.py,sha256=Z8gPUPQM8G_szPTgagBYzvsQeWDEEhGoZCU0z5FAS3E,3827
|
|
76
|
+
crosshair/tools/check_help_in_doc.py,sha256=P21AH3mYrTVuBgWD6v65YXqBqmqpQDUTQeoZ10rB6TU,8235
|
|
77
|
+
crosshair/tools/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
78
|
+
crosshair/tools/check_init_and_setup_coincide.py,sha256=kv61bXqKSKF_5J-kLNEhCrCPyszg7iZQWDu_Scnec98,3502
|
|
79
|
+
crosshair/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
80
|
+
crosshair/examples/check_examples_test.py,sha256=ieB2KBBPReQBOr5-AZCgrVyhN1YXGYyQMjHyQBQ4zTI,4063
|
|
81
|
+
crosshair/examples/deal/__init__.py,sha256=Jp9ZnHBCuRzkgP8OIgEWWOzQiC0jLIYPd-rCqF5Xyrg,32
|
|
82
|
+
crosshair/examples/PEP316/__init__.py,sha256=LdmvJx2cbzC3iip3NwtT0Ds2v99l3KXl1q9Kc0TmCWE,34
|
|
83
|
+
crosshair/examples/PEP316/correct_code/chess.py,sha256=w29qVe-1oKMaHgZYhqyp2vQghXm2oohruFENljoVBCY,2081
|
|
84
|
+
crosshair/examples/PEP316/correct_code/rolling_average.py,sha256=FD5I1pHCwHzFniSTSfpZfpwpTg7gRf3-hC64AmY0iqc,706
|
|
85
|
+
crosshair/examples/PEP316/correct_code/numpy_examples.py,sha256=RWdZ8SpatkwxW8uk4vEtX5j_c4ZiX_wFdlGcTNM70GM,4379
|
|
86
|
+
crosshair/examples/PEP316/correct_code/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
87
|
+
crosshair/examples/PEP316/correct_code/showcase.py,sha256=Yq7anfSF_kD8F_rWpdpnbSntuCcsoYWCJgpzfuVRYlc,2715
|
|
88
|
+
crosshair/examples/PEP316/correct_code/arith.py,sha256=QAw6RCbARZcXovzhgO1Cr-D63TLw2h0V6Q-c52G417E,1514
|
|
89
|
+
crosshair/examples/PEP316/correct_code/nesting_inference.py,sha256=Moez9Ov2gfmzZVpyC9Sho_sRNJ82GI8KmXpvGDJ76zk,335
|
|
90
|
+
crosshair/examples/PEP316/bugs_detected/getattr_magic.py,sha256=vZ6pWnBsSE641rzNx55iB8lLOI4zB0nXkUU1WxtD0RI,319
|
|
91
|
+
crosshair/examples/PEP316/bugs_detected/hash_consistent_with_equals.py,sha256=TkCZQOxWtvMbnDsSejA_nGUtNHowgvnzciiN5OF-gMw,732
|
|
92
|
+
crosshair/examples/PEP316/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
93
|
+
crosshair/examples/PEP316/bugs_detected/showcase.py,sha256=efWICrQ12HCMnwLOUpmOsxJ3oNrqVEdkmr7Ns1NAaWw,1036
|
|
94
|
+
crosshair/examples/PEP316/bugs_detected/shopping_cart.py,sha256=ahtCWNwaP84st38qKwokyjxbmAi_xzCZvuElTlo3FEk,723
|
|
95
|
+
crosshair/examples/icontract/__init__.py,sha256=b1CLucBaO8S562L_HFH9gKfIO-F8FUCsE9cVqL2Pkeg,37
|
|
96
|
+
crosshair/examples/icontract/correct_code/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
97
|
+
crosshair/examples/icontract/correct_code/showcase.py,sha256=WUqZUOUTl58JBoDxenee9GMV5NaI_pby5NG-jeVv1z4,3087
|
|
98
|
+
crosshair/examples/icontract/correct_code/arith.py,sha256=ZSwsotmq_l1Mp3dOgjcRJsMher8IILYdi99JuuDdZWc,1508
|
|
99
|
+
crosshair/examples/icontract/bugs_detected/wrong_sign.py,sha256=afnirsfgV8uNFT-G_FlIbUFy7lV0jYCMPl9G2Dm5ayA,196
|
|
100
|
+
crosshair/examples/icontract/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
101
|
+
crosshair/examples/icontract/bugs_detected/showcase.py,sha256=L4iL1JCWCpOISbEc5yce5bW_Th5eAjYVKRzsykb7m9M,1248
|
|
102
|
+
crosshair/libimpl/collectionslib.py,sha256=VuDIOUOGORiUT9J0tDVECr6oC-yUR3WAiFnMeVGzi-o,8583
|
|
103
|
+
crosshair/libimpl/zliblib_test.py,sha256=mckg9PnZrBUTStzMzHIoZl8JPuAzsIfrEruNKNDpYiE,388
|
|
104
|
+
crosshair/libimpl/copylib_test.py,sha256=VpS9ICvIjzKw0kccsl1v5FB1chHHEIWdOAerEQ_pGMw,705
|
|
105
|
+
crosshair/libimpl/unicodedatalib.py,sha256=q5LoCaEbHJrUwVWtUrlS3n_X21yp15xTS42l-9AQ6Us,3103
|
|
106
|
+
crosshair/libimpl/datetimelib_test.py,sha256=v9Cg512AXIGy7_dsN2y_ZD7W7fqfSSz07eiCUZukM60,2659
|
|
107
|
+
crosshair/libimpl/heapqlib_test.py,sha256=NdwTihD0xGy4qIDaS5a9-t3q437rP47GNdtceEBquNA,537
|
|
108
|
+
crosshair/libimpl/binascii_test.py,sha256=LOBqLAJ77Kx8vorjVTaT3X0Z93zw4P5BvwUapMCiSLg,1970
|
|
109
|
+
crosshair/libimpl/collectionslib_test.py,sha256=0qmCRQbxfX8vMZLaok1GS68NIocR--RyTVVDqbtHalU,9185
|
|
110
|
+
crosshair/libimpl/timelib.py,sha256=MXEFOZjFGa1-yLvmB3l3DFTLF9PSluOlmRK-ZJaA_oI,2409
|
|
111
|
+
crosshair/libimpl/jsonlib_test.py,sha256=U40WJf-69dtflz75sIsl5zA3IV5R6Ltc4Z9jv_Fh-Fw,1382
|
|
112
|
+
crosshair/libimpl/builtinslib.py,sha256=BG93lv0DPvhscBoI1YFx9_XnhIUNqOBpXSHLYOXal0w,177368
|
|
113
|
+
crosshair/libimpl/mathlib_test.py,sha256=QShLCXHdv3tx5PQxcSoR0MHeZ1huaiV6d3u7C2mGOn4,1861
|
|
114
|
+
crosshair/libimpl/fractionlib.py,sha256=qdbiAHHC480YdKq3wYK_piZ3UD7oT64YfuNclypMUfQ,458
|
|
115
|
+
crosshair/libimpl/binascii_ch_test.py,sha256=hFqSfF1Q8jl2LNBIWaQ6vBJIIshPOmSwrR0T1Ko4Leo,1009
|
|
116
|
+
crosshair/libimpl/jsonlib.py,sha256=xFTvqGKzQcCgPme1WIpNMjBPfNHVZBMNuNx0uKMYXj0,28805
|
|
117
|
+
crosshair/libimpl/typeslib_test.py,sha256=qCeUU_c-zmuvfwHEsaYqic9wdGzs9XbDZNr6bF2Xp58,1129
|
|
118
|
+
crosshair/libimpl/builtinslib_test.py,sha256=6v5bQkgGKI9CCTn2QUkxiD_hMjNRQ4rEzoI2L_zx8-I,93418
|
|
119
|
+
crosshair/libimpl/zliblib.py,sha256=XymJTKYbplpYJZ-P7GKVSY3V_8HPy5lqRFsCH1zezIk,357
|
|
120
|
+
crosshair/libimpl/decimallib.py,sha256=zBKDrDZcg45oCKUkf6SIDuVpjA1Web7tD1MEQo5cjxI,177348
|
|
121
|
+
crosshair/libimpl/relib_ch_test.py,sha256=zvSBF82mNQR5yEOMwwcaBOh8OpJkQeiVl85pgYVvJRA,5235
|
|
122
|
+
crosshair/libimpl/functoolslib.py,sha256=YD0g9UnC4v_wZXR3ekQa2gLrKJnr6dHdYtT9qIMUIGM,1009
|
|
123
|
+
crosshair/libimpl/collectionslib_ch_test.py,sha256=PYitnmXXEZfm25FzBodEX1hOpwqnDspbqt5aqzeVar0,5855
|
|
124
|
+
crosshair/libimpl/builtinslib_ch_test.py,sha256=UasixDc_qZHOEkmMkh_2r9l2NgItQBzwHpvs7dRfgvk,30857
|
|
125
|
+
crosshair/libimpl/randomlib_test.py,sha256=KuEgrih9JvstsFDwrgAuHZrlVjIvaNUxS8ftiGPrwHI,3322
|
|
126
|
+
crosshair/libimpl/weakreflib_test.py,sha256=CdGJhW32qJoxedn8QzPcMcKKmfl9Nv4FPDYebblIKmY,1812
|
|
127
|
+
crosshair/libimpl/mathlib.py,sha256=ci_byDulWf1VOitpD3C-TwToL6CRYKkJUVMxjAYzUH8,4256
|
|
128
|
+
crosshair/libimpl/pathliblib_test.py,sha256=NDeNOI24naLcvz6Lrx51nS-JhILHJjY1JNhRQO3Lufw,252
|
|
129
|
+
crosshair/libimpl/randomlib.py,sha256=Jfg7CkWLJZ_CQ5nZjxd6xVyTErWbTwr9DHLfORNUgDI,6225
|
|
130
|
+
crosshair/libimpl/timelib_test.py,sha256=Ercmhw1Yc96CYnWhqIW7eu31R95uTGVZcgzxSiZoRzI,1851
|
|
131
|
+
crosshair/libimpl/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
132
|
+
crosshair/libimpl/importliblib_test.py,sha256=DM8wWvPYbDTsdKVlS-JMrZ2cQpWSy4yXjZGPMQwF7Ss,1020
|
|
133
|
+
crosshair/libimpl/relib_test.py,sha256=3raQ0JoU4vu8_NKfrjk7TkUIqVuuhR8mGCRPJPb0RI0,16085
|
|
134
|
+
crosshair/libimpl/arraylib.py,sha256=QL6QH9iHHsmKA2zzW9DKPB6AbaxRiZbD3ikSGQVgqxU,4875
|
|
135
|
+
crosshair/libimpl/urlliblib.py,sha256=EaC-nWdi-IFG3ewZrzgCqbKc9Sf9wlUN0wvGjTU5TOM,614
|
|
136
|
+
crosshair/libimpl/bisectlib_test.py,sha256=ZQtYmBYD0Pb1IiFelsgdvqyeUMKaqaDb1BRb87LTSbI,753
|
|
137
|
+
crosshair/libimpl/itertoolslib.py,sha256=1bwV8voMV2j18KjXYMKkuNSC8p4VE_ZvY-74rAbWjB4,1245
|
|
138
|
+
crosshair/libimpl/importliblib.py,sha256=GphQk86LcIpYWa81CIPDWbcmwU9Jo1utKAe4y3HMxYE,621
|
|
139
|
+
crosshair/libimpl/mathlib_ch_test.py,sha256=V-44I-qORpF4vP-z9z25MaVc4I5boW2vjud-sKkYYSE,1269
|
|
140
|
+
crosshair/libimpl/decimallib_ch_test.py,sha256=FVCY4KB8lJWeRKnz8txNkEc1te4QRKQYJtvXDuWfzPk,2380
|
|
141
|
+
crosshair/libimpl/fractionlib_test.py,sha256=g7uNHTfzDebyc-SgH_4ziUAz7rJLZlHGZmPpny2P6hs,2357
|
|
142
|
+
crosshair/libimpl/codecslib_test.py,sha256=8K64njhxnTe7qLh-_onARNsm_qSG7BWM5dXgADYi54A,2536
|
|
143
|
+
crosshair/libimpl/jsonlib_ch_test.py,sha256=lLGnFq6Ti7l6aV_jDz-HEzKaPy5TIj_JA0sSnfI0Psc,1267
|
|
144
|
+
crosshair/libimpl/iolib_test.py,sha256=VJRSQ3nnROfXvtqdy3yLx3eYmIh31qSmeuAiIa7ywKU,667
|
|
145
|
+
crosshair/libimpl/codecslib.py,sha256=lB87T1EYSBh4JXaqzjSpQG9CMfKtgckwA7f6OIR0S-Q,2668
|
|
146
|
+
crosshair/libimpl/datetimelib_ch_test.py,sha256=wYYmUgyQ1d4Z0eRQvOJh51g4DFsHWtj6_UzGXVUHKJc,9557
|
|
147
|
+
crosshair/libimpl/itertoolslib_test.py,sha256=MV-zSdfdeQi_UpZJdanKzHm2GRqrC7BMUoCd95ldMPw,1183
|
|
148
|
+
crosshair/libimpl/copylib.py,sha256=icHJWeFK_tsPSdJhvlS5fVcBwlh0uJh0nzXsRJCGtzs,527
|
|
149
|
+
crosshair/libimpl/hashliblib_test.py,sha256=HhPdm5CBTAeqrs41NpCxkexWYWyIf1JiA4cls72WQfM,406
|
|
150
|
+
crosshair/libimpl/binasciilib.py,sha256=9w4C37uxRNOmz9EUuhJduHlMKn0f7baY5fwwdvx1uto,5070
|
|
151
|
+
crosshair/libimpl/typeslib.py,sha256=5qWrHZZN8jQZoHPiQtkaFolR8qTYCQtJw3HRWCrCKQI,468
|
|
152
|
+
crosshair/libimpl/datetimelib.py,sha256=Ym22v8CnkOYTSnlgp2ETIepuJAj-uTyEiT79BO0KsSU,79311
|
|
153
|
+
crosshair/libimpl/relib.py,sha256=ahS9f1_rhbVKZUhvYmuSTv0_ovmvH5NXShxDJu7aUhE,29272
|
|
154
|
+
crosshair/libimpl/iolib.py,sha256=FbvqTfQRPaML5u0hHnrFZLrk3jYC-x4OO6eJujvFJaY,6983
|
|
155
|
+
crosshair/libimpl/urlliblib_test.py,sha256=UcSmwRdJFkzXvkaV-jmrP6G4zhbu7X2NNjM7ePsYxRs,503
|
|
156
|
+
crosshair/libimpl/heapqlib.py,sha256=TWH55dg-Hi5FRz2oZuXHcBU_xJzHjvhe9YQVvw7ZbfI,1311
|
|
157
|
+
crosshair/libimpl/unicodedatalib_test.py,sha256=b0CHHHqDj5Ej_UEDnz3aUesILObcfLm00eEXQtfsgfM,1442
|
|
158
|
+
crosshair/libimpl/encodings_ch_test.py,sha256=0qLsioOuFUZkOjP4J9Wct4CGBaBY8BnHx9paZHnIofI,2513
|
|
159
|
+
crosshair/libimpl/hashliblib.py,sha256=Ki_cw28OnhZExgKbSoh5GaDbBfNRIOqH7O2aYQJGS3M,1234
|
|
160
|
+
crosshair/libimpl/functoolslib_test.py,sha256=eaT_JWu-C3j8l9ekwDXd2dhPJvuB577T9DuXRohL0fc,1604
|
|
161
|
+
crosshair/libimpl/iolib_ch_test.py,sha256=yibR3CbYjd9Sf2UaAIQaWO8QXbsZgyDc9w10VEtQN-A,3623
|
|
162
|
+
crosshair/libimpl/weakreflib.py,sha256=By2JxeBHJCQP_Na5MBhE9YCc0O5NoKefKASoRBUNcW0,230
|
|
163
|
+
crosshair/libimpl/decimallib_test.py,sha256=393MkVB9-LPcA7JJK6wGAbDyd-YejkjwrXRaEDaVhjM,2238
|
|
164
|
+
crosshair/libimpl/oslib.py,sha256=GVOsJKEFoIzY9S5CRZwKH5pRsccjBbGpPOlvAm_2HtQ,123
|
|
165
|
+
crosshair/libimpl/ipaddresslib.py,sha256=I8pTlpnoWb54dR0PK9oHXT8iMKSAvw3N1HkuLRSuZFI,314
|
|
166
|
+
crosshair/libimpl/encodings/utf_8.py,sha256=BygLLIeI3_F2MpFVgaty8ebiuxp0YWz7IzXeYPWjsqU,3173
|
|
167
|
+
crosshair/libimpl/encodings/ascii.py,sha256=Cz1xraTkXdQ5aBKDkorX4rAvrmf877_EqzC9hOmbItw,1416
|
|
168
|
+
crosshair/libimpl/encodings/__init__.py,sha256=5LTEj1M-S00eZ4rfQWczAixg57vyh_9vZ5m5EKB5Ksc,680
|
|
169
|
+
crosshair/libimpl/encodings/latin_1.py,sha256=ftUsPjUb9L7UKXKi9P7OAqOl9FkNP98M9jMAvseXBCQ,1242
|
|
170
|
+
crosshair/libimpl/encodings/_encutil.py,sha256=R0tLdyc83fN6C8c_tl5vetDCpayxeYaAT7UWwPQzX10,6982
|
|
171
|
+
crosshair_tool-0.0.100.dist-info/RECORD,,
|
|
172
|
+
crosshair_tool-0.0.100.dist-info/WHEEL,sha256=bDWaFWigpG5bEpqw9IoRiyYs8MvmSFh0OhUAOoi_-KA,134
|
|
173
|
+
crosshair_tool-0.0.100.dist-info/entry_points.txt,sha256=u5FIPVn1jqn4Kzg5K_iNnbP6L4hQw5FWjQ0UMezG2VE,96
|
|
174
|
+
crosshair_tool-0.0.100.dist-info/top_level.txt,sha256=2jLWtM-BWg_ZYNbNfrcds0HFZD62a6J7ZIbcgcQrRk4,29
|
|
175
|
+
crosshair_tool-0.0.100.dist-info/METADATA,sha256=IlNmJ9JgB4iGz8jkSsWZktitV-jc1l5JApoYOrqJShE,6624
|
|
176
|
+
crosshair_tool-0.0.100.dist-info/licenses/LICENSE,sha256=NVyMvNqn1pH6RSHs6RWRcJyJvORnpgGFBlF73buqYJ0,4459
|
|
@@ -1,74 +0,0 @@
|
|
|
1
|
-
import string
|
|
2
|
-
|
|
3
|
-
from hypothesis import given
|
|
4
|
-
from hypothesis import strategies as st
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
@given(st.integers())
|
|
8
|
-
def positive(s):
|
|
9
|
-
assert s >= 0
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
@given(st.tuples(st.booleans(), st.booleans()))
|
|
13
|
-
def tuples(t):
|
|
14
|
-
assert t != (False, True)
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
@given(st.text(alphabet=string.ascii_uppercase, min_size=3, max_size=3))
|
|
18
|
-
def not_us_currency(s):
|
|
19
|
-
assert s != "USD"
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
@given(st.characters(whitelist_categories=["Nd"]))
|
|
23
|
-
def number_chars(c):
|
|
24
|
-
assert c in ("0", "1", "2", "3", "4", "5", "6", "7", "8", "9")
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
# TODO: Various example cases to work on below
|
|
28
|
-
|
|
29
|
-
# @given(
|
|
30
|
-
# st.integers(min_value=100), st.one_of(st.just(2), st.just(1)), st.integers(-1, 1)
|
|
31
|
-
# )
|
|
32
|
-
# def big_sum(a, b, c):
|
|
33
|
-
# assert a + b + c > 100
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
# @given(st.text())
|
|
37
|
-
# def not_u_string(s):
|
|
38
|
-
# assert s != "U"
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
# @given(value=st.floats(allow_nan=True))
|
|
42
|
-
# def equal_to_self(f):
|
|
43
|
-
# assert f == f
|
|
44
|
-
|
|
45
|
-
# @given(st.dictionaries(st.text(), st.text()))
|
|
46
|
-
# def challenge(d):
|
|
47
|
-
# assert d.get("a") != "b"
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
# @given(st.bits(nbits))
|
|
51
|
-
# @given(st.binary())
|
|
52
|
-
# @given(st.booleans())
|
|
53
|
-
# @given(st.floats(min_value=-0.05, max_value=0.05))
|
|
54
|
-
|
|
55
|
-
# Keys = typing.Set[typing.Hashable]
|
|
56
|
-
# @given(keys=infer)
|
|
57
|
-
# def test_infer(keys: Keys) -> None:
|
|
58
|
-
# pass
|
|
59
|
-
|
|
60
|
-
# @given(
|
|
61
|
-
# n_periods1=st.integers(1, 10),
|
|
62
|
-
# n_periods2=st.integers(1, 10),
|
|
63
|
-
# log_base_diff=arrays(
|
|
64
|
-
# np.float64,
|
|
65
|
-
# st.integers(2, 10),
|
|
66
|
-
# elements=st.floats(-2.0, 2.0, width=64),
|
|
67
|
-
# ),
|
|
68
|
-
# )
|
|
69
|
-
|
|
70
|
-
# @hypothesis.given(
|
|
71
|
-
# arr=arrays(dtype=np.float64,
|
|
72
|
-
# shape=st.integers(min_value=3, max_value=1000),
|
|
73
|
-
# elements=st.floats(allow_infinity=False, allow_nan=False,
|
|
74
|
-
# min_value=-1e300, max_value=1e300)))
|
|
@@ -1,152 +0,0 @@
|
|
|
1
|
-
_crosshair_tracers.cpython-39-darwin.so,sha256=rlbYYrDfu548-k-oqDD-JSMEcFKk2X06Bf89L1QsM2A,56952
|
|
2
|
-
crosshair/__init__.py,sha256=uJUDLIeUEzoM7PTflLcXkLQD8bVK_pl1ukVEiIuqZic,936
|
|
3
|
-
crosshair/__main__.py,sha256=zw9Ylf8v2fGocE57o4FqvD0lc7U4Ld2GbeCGxRWrpqo,252
|
|
4
|
-
crosshair/_mark_stacks.h,sha256=xBxfFuYJADzZ1QX43cfJ7Tu-arDSGEuLxBcY8auNDbE,27489
|
|
5
|
-
crosshair/_preliminaries_test.py,sha256=r2PohNNMfIkDqsnvI6gKlJTbwBaZA9NQJueQfJMN2Eo,504
|
|
6
|
-
crosshair/_tracers.h,sha256=5Q2FvPh_59LS4G9n15Z990oT31EmsQVMTR5WVSua-P8,2042
|
|
7
|
-
crosshair/_tracers_pycompat.h,sha256=6IYnbQxrYkhBsLDAHSX25DPOwo1oYHCZUVWZ8c7YCnQ,14356
|
|
8
|
-
crosshair/_tracers_test.py,sha256=WENyXsudjZO0gGlKsPoycf8FnSUIdaX7QroyZe-P4t0,3454
|
|
9
|
-
crosshair/abcstring.py,sha256=ROU8LzS7kfEU2L_D3QfhVxIjrYr1VctwUWfylC7KlCc,6549
|
|
10
|
-
crosshair/auditwall.py,sha256=A1FC7KZGRh4ZwDOnadXNUYFFsqteKWGJ9bdHAK0A-hc,5055
|
|
11
|
-
crosshair/auditwall_test.py,sha256=G_BEnLLmcTiL26vBI6aAVCJZp2Cw7v-gGF3nBiJ4Co8,2026
|
|
12
|
-
crosshair/codeconfig.py,sha256=GgF-ND8Ha3FysSTQ-JuezHjlhGVBbo5aCJov1Ps3VSE,3959
|
|
13
|
-
crosshair/codeconfig_test.py,sha256=RnC-RnNpr6If4eHmOepDZ33MCmfyhup08dzHKCm5xWA,3350
|
|
14
|
-
crosshair/condition_parser.py,sha256=VJvHfk-4_6-5J2BMvmQuO_L-qiaSuoiLM7ll9Mo9Ce0,46407
|
|
15
|
-
crosshair/condition_parser_test.py,sha256=EuES4POD8PA6YK9TLT_XEyYN4PebILt7GnrtH4Jnxbo,17000
|
|
16
|
-
crosshair/conftest.py,sha256=osb7zlRL_hkpVXfNhEk8RsTkunpOrxiylI0xqwx9Oko,653
|
|
17
|
-
crosshair/copyext.py,sha256=vXNAbSKPMEHz68Wbkf_PH94RyxqW1EZpiDUWIDLMu8Y,2899
|
|
18
|
-
crosshair/copyext_test.py,sha256=d-7M7XELsdXoiFplcEQvp3oV0Nn2-Nu5sav-SSYCpb8,1564
|
|
19
|
-
crosshair/core.py,sha256=YjGg7eWbdBU8Mg4QRAfNOZ7-lIyJk291aNQByPc67lQ,62061
|
|
20
|
-
crosshair/core_and_libs.py,sha256=endUiZfgc_g7-Q_KDeVEgi_00pd0G6ypvUy1pwRcV8c,3446
|
|
21
|
-
crosshair/core_test.py,sha256=jir5a_kqOMD7pvwg2Ke9N9oNSmk07aIDxp_DpcY71jQ,36050
|
|
22
|
-
crosshair/diff_behavior.py,sha256=cEJIsSe5AZx010Q52B7AQ8K0L_itbFYjy_oFL3nNttg,9398
|
|
23
|
-
crosshair/diff_behavior_test.py,sha256=JVsQZyvsqawKeCS-3p0Ly8Ff5gsJtfET-CP5iOhke1s,4270
|
|
24
|
-
crosshair/dynamic_typing.py,sha256=y_h2ip2bX5XACX3J39lKLMtVl1PEZz_TbT-iW87iE_0,8581
|
|
25
|
-
crosshair/dynamic_typing_test.py,sha256=sEVXtxvk37CEsYeTVJ8--2Rlr09juyCr6t175X25EYQ,3258
|
|
26
|
-
crosshair/enforce.py,sha256=qgnDOuWB9gYIg2LLasIYd76THmFhRntTwUWoXos6xIY,10182
|
|
27
|
-
crosshair/enforce_test.py,sha256=u-qDIwVL1_uqCN_7nE-hGllwXxxlr34R9J3huXnueXA,4950
|
|
28
|
-
crosshair/fnutil.py,sha256=X80bD2Lh4QAh-rF561r3JRxjxcuZepF3hJaxaj1GG9s,13123
|
|
29
|
-
crosshair/fnutil_test.py,sha256=5t1lm7ytkB7lGffs2iuchPI5I2S8r8Szti2Jk0LujSc,2236
|
|
30
|
-
crosshair/fuzz_core_test.py,sha256=9gJ5Q4K720QZ3hP3IwfT3M3rzRU3WarwprIemI4a1FY,17929
|
|
31
|
-
crosshair/lsp_server.py,sha256=_43KoCY7AfTnBWL9pgYdYCiL-GHUdM01RNYGJXrCPqw,8670
|
|
32
|
-
crosshair/lsp_server_test.py,sha256=7LO1Qqxkper3Xt2krgOlGqF1O_uDObo76o4FZbIqykY,969
|
|
33
|
-
crosshair/main.py,sha256=p40n51MnYQNDJJMZh6iJ5KL8DxMh20a4i60xs2nFN2w,33930
|
|
34
|
-
crosshair/main_test.py,sha256=uc_Az85S5s9RMuJkIvcMElsnjXyYceB5n2-M67nPXY8,13493
|
|
35
|
-
crosshair/objectproxy.py,sha256=JWsEgXutO9mdveFAVnHBYk44_N0Q7Cw6SIN8k7AUBvo,8929
|
|
36
|
-
crosshair/objectproxy_test.py,sha256=WnpT2y_Jik1iJ7v5IT4wu9YVkuDt_vSaw54Pqqsa18o,682
|
|
37
|
-
crosshair/opcode_intercept.py,sha256=ooRmhjeF16CghX-em3Yi_NfgKC8lBxMFXDqL97Bbx7w,15443
|
|
38
|
-
crosshair/opcode_intercept_test.py,sha256=fFTCT_8MBdu8E8mPkjezcj0Arz0_L7xy0lYFme2pttc,4391
|
|
39
|
-
crosshair/options.py,sha256=wYRxdv-KSWiG7qlWJ7ImoNXpXsx2wUMeKFytWAgX5qw,6805
|
|
40
|
-
crosshair/options_test.py,sha256=lzA-XtwEwQPa4wV1wwhCRKhyLOvIhThU9WK5QRaRbxQ,379
|
|
41
|
-
crosshair/patch_equivalence_test.py,sha256=8FinroNjBZHLGbsBbbLq-hIhZo8Xp-yvprSdFeovSLM,3085
|
|
42
|
-
crosshair/path_cover.py,sha256=pQIJ7Yn-_4mn6Fq8gkIqJ0-7h3e0D0I6hvIdTxGrHlk,6752
|
|
43
|
-
crosshair/path_cover_test.py,sha256=U46zw4-m7yAXhu8-3Xnhvf-_9Ov5ivfCAm5euGwpRFA,4089
|
|
44
|
-
crosshair/path_search.py,sha256=GcSANg-VEMRSDPP-77Ebwo3zM36YMWQuCOG6lDuaiEg,5464
|
|
45
|
-
crosshair/path_search_test.py,sha256=tpkd8Hk6arAWlxaItIfLWuhG1j6CxLZuEw44ZakiO-g,1687
|
|
46
|
-
crosshair/pathing_oracle.py,sha256=SirRH3e8t3nw7aZBHnXV3fzxpbY63rcRY7mmltEHR4g,8940
|
|
47
|
-
crosshair/pure_importer.py,sha256=-t4eowrZOQmfqK1N2tjI5POoaxRGavytwMmbRivelFg,878
|
|
48
|
-
crosshair/pure_importer_test.py,sha256=si7toElEF7fhedcuUBfsWBNSLKTJrNeuqdPWfvW2KAQ,781
|
|
49
|
-
crosshair/register_contract.py,sha256=llFleX7lbMAtaUV8NA_4dhWh7LdoyqVnqjkCIuqZEYw,10172
|
|
50
|
-
crosshair/register_contract_test.py,sha256=6jBUU8R4jdiMALRbY_3CwuOq2-8ODqfcM2ZlGX8KalM,5424
|
|
51
|
-
crosshair/simplestructs.py,sha256=0Xsk9I-FC8rTzdg5l8CmJJfjybVJ2esFZBjj8xGjAuA,31947
|
|
52
|
-
crosshair/simplestructs_test.py,sha256=W5NCDM9NFKyq4We7HzgU40gfmC_5olaZ3LyXfydBp3Y,8165
|
|
53
|
-
crosshair/statespace.py,sha256=z4jDwINL041Q-vRwWCgR_fuyLjUDsLdVGORwRIqwXmo,38879
|
|
54
|
-
crosshair/statespace_test.py,sha256=y5KNBSjSzyUKlibq3ybZw4O63WteNHS-Jtq1WzNtagI,1856
|
|
55
|
-
crosshair/stubs_parser.py,sha256=wewjh5cDPrZFDytYvDPCu3Wfjmwo7bp2GDVn3n6P2VY,14301
|
|
56
|
-
crosshair/stubs_parser_test.py,sha256=0itTT0Udul_51RJXNv6KB97z44gYze6NZfKJL7yIDzA,1228
|
|
57
|
-
crosshair/test_util.py,sha256=S6F0csy1jsxFoWUWfAFPimqefQqUI_mnr2FHm27-JSg,8534
|
|
58
|
-
crosshair/tracers.py,sha256=IXp8kl5n-3Uz3zkQOtuKEofPHMU81QRoTgjPomJrXMQ,14414
|
|
59
|
-
crosshair/tracers_test.py,sha256=EBK_ZCy2MsxqmEaGjo0uw9zAztW9O6fhCW_0PJxyTS8,3270
|
|
60
|
-
crosshair/type_repo.py,sha256=bW0Vlx0dCwwWC3IsyINcg9qg1inbg-Q75TZGJehYvxs,4305
|
|
61
|
-
crosshair/unicode_categories.py,sha256=iwRwrKQwbhX1rN3_zg3j83MUMIwk5cQJqUMJuCGWta0,285926
|
|
62
|
-
crosshair/unicode_categories_test.py,sha256=ZAU37IDGm9PDvwy_CGFcrF9Waa8JuUNdI4aq74wkB6c,739
|
|
63
|
-
crosshair/util.py,sha256=lcYVECWxJPq4v49AaeJQ7JlhHxErH6KDk9KLzIRhz8U,19593
|
|
64
|
-
crosshair/util_test.py,sha256=1UHGN-DM_-lgL0tcldtfjTkpUxJGzt1I8pelpmiYNSQ,4866
|
|
65
|
-
crosshair/watcher.py,sha256=Dlu30CAs1FIQsK7wdT9sdBmnmM60bK0oEzsliK2N-vk,10045
|
|
66
|
-
crosshair/watcher_test.py,sha256=Ef1YSwy68wWPR5nPjwvEKPqxltI9pE9lTbnesmDy3Bk,2764
|
|
67
|
-
crosshair/z3util.py,sha256=gxpOBL2uQPMfRDiST2xV2KOgJIUojVsB0mx174KNZWU,1743
|
|
68
|
-
crosshair/z3util_test.py,sha256=CZovn4S9mYcG_yQegcxm80VHrvUdvNei0gvGTF9TOrk,173
|
|
69
|
-
crosshair/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
70
|
-
crosshair/examples/check_examples_test.py,sha256=CPKG0lKgxpPSjrEf02bBTAivQZwrDyFNTBU-4sSRrr0,4060
|
|
71
|
-
crosshair/examples/PEP316/__init__.py,sha256=LdmvJx2cbzC3iip3NwtT0Ds2v99l3KXl1q9Kc0TmCWE,34
|
|
72
|
-
crosshair/examples/PEP316/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
73
|
-
crosshair/examples/PEP316/bugs_detected/getattr_magic.py,sha256=vZ6pWnBsSE641rzNx55iB8lLOI4zB0nXkUU1WxtD0RI,319
|
|
74
|
-
crosshair/examples/PEP316/bugs_detected/hash_consistent_with_equals.py,sha256=TkCZQOxWtvMbnDsSejA_nGUtNHowgvnzciiN5OF-gMw,732
|
|
75
|
-
crosshair/examples/PEP316/bugs_detected/shopping_cart.py,sha256=ahtCWNwaP84st38qKwokyjxbmAi_xzCZvuElTlo3FEk,723
|
|
76
|
-
crosshair/examples/PEP316/bugs_detected/showcase.py,sha256=efWICrQ12HCMnwLOUpmOsxJ3oNrqVEdkmr7Ns1NAaWw,1036
|
|
77
|
-
crosshair/examples/PEP316/correct_code/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
78
|
-
crosshair/examples/PEP316/correct_code/arith.py,sha256=QAw6RCbARZcXovzhgO1Cr-D63TLw2h0V6Q-c52G417E,1514
|
|
79
|
-
crosshair/examples/PEP316/correct_code/chess.py,sha256=w29qVe-1oKMaHgZYhqyp2vQghXm2oohruFENljoVBCY,2081
|
|
80
|
-
crosshair/examples/PEP316/correct_code/nesting_inference.py,sha256=Moez9Ov2gfmzZVpyC9Sho_sRNJ82GI8KmXpvGDJ76zk,335
|
|
81
|
-
crosshair/examples/PEP316/correct_code/numpy_examples.py,sha256=RWdZ8SpatkwxW8uk4vEtX5j_c4ZiX_wFdlGcTNM70GM,4379
|
|
82
|
-
crosshair/examples/PEP316/correct_code/rolling_average.py,sha256=FD5I1pHCwHzFniSTSfpZfpwpTg7gRf3-hC64AmY0iqc,706
|
|
83
|
-
crosshair/examples/PEP316/correct_code/showcase.py,sha256=Yq7anfSF_kD8F_rWpdpnbSntuCcsoYWCJgpzfuVRYlc,2715
|
|
84
|
-
crosshair/examples/deal/__init__.py,sha256=Jp9ZnHBCuRzkgP8OIgEWWOzQiC0jLIYPd-rCqF5Xyrg,32
|
|
85
|
-
crosshair/examples/hypothesis/__init__.py,sha256=DoEDjz70pwFo0bkMEND_t2dNYNj0EQvZXmaIGVjn77g,70
|
|
86
|
-
crosshair/examples/hypothesis/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
87
|
-
crosshair/examples/hypothesis/bugs_detected/simple_strategies.py,sha256=jEV9Jd-61xLbxSBBc1Htrd9Zp9m-7FNIittJzYp5rPo,1690
|
|
88
|
-
crosshair/examples/icontract/__init__.py,sha256=b1CLucBaO8S562L_HFH9gKfIO-F8FUCsE9cVqL2Pkeg,37
|
|
89
|
-
crosshair/examples/icontract/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
90
|
-
crosshair/examples/icontract/bugs_detected/showcase.py,sha256=L4iL1JCWCpOISbEc5yce5bW_Th5eAjYVKRzsykb7m9M,1248
|
|
91
|
-
crosshair/examples/icontract/bugs_detected/wrong_sign.py,sha256=afnirsfgV8uNFT-G_FlIbUFy7lV0jYCMPl9G2Dm5ayA,196
|
|
92
|
-
crosshair/examples/icontract/correct_code/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
93
|
-
crosshair/examples/icontract/correct_code/arith.py,sha256=ZSwsotmq_l1Mp3dOgjcRJsMher8IILYdi99JuuDdZWc,1508
|
|
94
|
-
crosshair/examples/icontract/correct_code/showcase.py,sha256=WUqZUOUTl58JBoDxenee9GMV5NaI_pby5NG-jeVv1z4,3087
|
|
95
|
-
crosshair/libimpl/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
96
|
-
crosshair/libimpl/arraylib.py,sha256=0PA07axNrj8RSn5ngsFDMyP2S4hShumyeEEG5ErAtco,4790
|
|
97
|
-
crosshair/libimpl/bisectlib_test.py,sha256=iX1ZIZVveh1l5ZrDPU8-k_clXDnwWkSL72A5PSTUHww,793
|
|
98
|
-
crosshair/libimpl/builtinslib.py,sha256=axOcaBIhkDTKO941AMfM1ZzihFDKqZuHfaORwJOm2xM,164482
|
|
99
|
-
crosshair/libimpl/builtinslib_ch_test.py,sha256=hj_3UjUEIGyPa52lqV_HNaLOJw3naJVlgcUlroL_9KA,28455
|
|
100
|
-
crosshair/libimpl/builtinslib_test.py,sha256=BcBGJbyboit4e5q5uNEcd8SOmH1aJpurT2aeELkI9z0,84216
|
|
101
|
-
crosshair/libimpl/codecslib.py,sha256=x4OXLBnh_uZceZE9JIQta8oegV1vrUaKLijQ2CflrNA,1799
|
|
102
|
-
crosshair/libimpl/codecslib_test.py,sha256=ikDzrj_y-RYqGDW397ie_ppOtbAEgtdSXwhmHQUgR5I,1634
|
|
103
|
-
crosshair/libimpl/collectionslib.py,sha256=1r5sQRfyGw_YsNhiSNd_myT-AXQMl9oL8Mks94a4nD8,7685
|
|
104
|
-
crosshair/libimpl/collectionslib_ch_test.py,sha256=PYitnmXXEZfm25FzBodEX1hOpwqnDspbqt5aqzeVar0,5855
|
|
105
|
-
crosshair/libimpl/collectionslib_test.py,sha256=DKKFOiWDY1oKy_NQOXUcoupZmElG2CUvowttPN7IgD4,6356
|
|
106
|
-
crosshair/libimpl/copylib.py,sha256=yxNAMfw4WZoQsUQcC8H4XS8fCkLxXmPRireS5GWvClE,527
|
|
107
|
-
crosshair/libimpl/datetimelib.py,sha256=AjgQNwrmJWGjL7svLTuSzjZwKi4xX2T2v10h9kdEK5s,78853
|
|
108
|
-
crosshair/libimpl/datetimelib_ch_test.py,sha256=jvB96EkUVFsP1v8z4UqCDBlL3-E_OVQQGJNeSAEyiOI,9266
|
|
109
|
-
crosshair/libimpl/datetimelib_test.py,sha256=_wnsgnNHBbioiqH8Ktb06ymvUqyN7rrWloFgeO9h5pg,2732
|
|
110
|
-
crosshair/libimpl/encodings_ch_test.py,sha256=0qLsioOuFUZkOjP4J9Wct4CGBaBY8BnHx9paZHnIofI,2513
|
|
111
|
-
crosshair/libimpl/functoolslib.py,sha256=WyKQxS9b5mg8oIFIYSHeKZ1HCKKO5qhas-dtPT0QhnQ,684
|
|
112
|
-
crosshair/libimpl/functoolslib_test.py,sha256=DswrS51n93EaxPvDGB-d3tZSLawEp38zQ5sNdYlbn50,1114
|
|
113
|
-
crosshair/libimpl/heapqlib.py,sha256=jlw4ikIPeL77XDL1LpRMCaLwNRmV7Rsv39iOZgJPrBw,520
|
|
114
|
-
crosshair/libimpl/heapqlib_test.py,sha256=INuTudn5tSrc8rHTeN_rw2pg9LcZiyKqSSZ5P__8bJg,400
|
|
115
|
-
crosshair/libimpl/importliblib.py,sha256=GphQk86LcIpYWa81CIPDWbcmwU9Jo1utKAe4y3HMxYE,621
|
|
116
|
-
crosshair/libimpl/importliblib_test.py,sha256=DM8wWvPYbDTsdKVlS-JMrZ2cQpWSy4yXjZGPMQwF7Ss,1020
|
|
117
|
-
crosshair/libimpl/iolib.py,sha256=fRE40ILLOyGvqR1IwF7Ga8Mji5zc9ow7Ed8wH5gz8Ww,6825
|
|
118
|
-
crosshair/libimpl/iolib_ch_test.py,sha256=yibR3CbYjd9Sf2UaAIQaWO8QXbsZgyDc9w10VEtQN-A,3623
|
|
119
|
-
crosshair/libimpl/iolib_test.py,sha256=VJRSQ3nnROfXvtqdy3yLx3eYmIh31qSmeuAiIa7ywKU,667
|
|
120
|
-
crosshair/libimpl/itertoolslib.py,sha256=1bwV8voMV2j18KjXYMKkuNSC8p4VE_ZvY-74rAbWjB4,1245
|
|
121
|
-
crosshair/libimpl/itertoolslib_test.py,sha256=4rcBKCivNPPTe9izySlAG7hq8qHV0e8wN-FAJ1Naors,1191
|
|
122
|
-
crosshair/libimpl/jsonlib.py,sha256=xFTvqGKzQcCgPme1WIpNMjBPfNHVZBMNuNx0uKMYXj0,28805
|
|
123
|
-
crosshair/libimpl/jsonlib_ch_test.py,sha256=lLGnFq6Ti7l6aV_jDz-HEzKaPy5TIj_JA0sSnfI0Psc,1267
|
|
124
|
-
crosshair/libimpl/jsonlib_test.py,sha256=U40WJf-69dtflz75sIsl5zA3IV5R6Ltc4Z9jv_Fh-Fw,1382
|
|
125
|
-
crosshair/libimpl/mathlib.py,sha256=ZqqhQ0H8QFaDhqQQK0fP6ILBzcK2W94Mu25PJJ1DHI8,357
|
|
126
|
-
crosshair/libimpl/mathlib_test.py,sha256=Ky1BAlfKfF9Qhd_rv9nq96ERQojprrysRzJV7Rzwkvc,685
|
|
127
|
-
crosshair/libimpl/randomlib.py,sha256=loyhlbRBJEs32kKFv_1O5PxKQU47F5kCz54OaNVuzUk,6161
|
|
128
|
-
crosshair/libimpl/randomlib_test.py,sha256=MOegspGI9jb1rYW14CB00lxOq0wxT6nSq6qXK0swtwQ,3251
|
|
129
|
-
crosshair/libimpl/relib.py,sha256=x-Zm11zC_g_2i6ZimE-MDEbwEdjdXVR3miYKMsLczvM,25145
|
|
130
|
-
crosshair/libimpl/relib_ch_test.py,sha256=IGuhocsuv-m-5PkhxD-rtnbNpNkQ6L7iXe5JlDACpJg,4491
|
|
131
|
-
crosshair/libimpl/relib_test.py,sha256=8DbEZhOn0nCFlqFGr5cl70cpqiu41AYQYhcM6D64D2s,13944
|
|
132
|
-
crosshair/libimpl/timelib.py,sha256=piSFe-GhhMTU9kJN1aiPxmeVM4rWN09HCbxJfY3Uv8c,1719
|
|
133
|
-
crosshair/libimpl/timelib_test.py,sha256=6GSQcKi6uiwY1lPp2e9_aagnysT385jTMjmxvFb62Xs,1665
|
|
134
|
-
crosshair/libimpl/unicodedatalib.py,sha256=q5LoCaEbHJrUwVWtUrlS3n_X21yp15xTS42l-9AQ6Us,3103
|
|
135
|
-
crosshair/libimpl/unicodedatalib_test.py,sha256=CJkAbiu8_2uhvjDIoYi3IJ8Nb_8sdjKVNvNhJCgPbZ0,1442
|
|
136
|
-
crosshair/libimpl/urlliblib.py,sha256=EaC-nWdi-IFG3ewZrzgCqbKc9Sf9wlUN0wvGjTU5TOM,614
|
|
137
|
-
crosshair/libimpl/urlliblib_test.py,sha256=UcSmwRdJFkzXvkaV-jmrP6G4zhbu7X2NNjM7ePsYxRs,503
|
|
138
|
-
crosshair/libimpl/encodings/__init__.py,sha256=5LTEj1M-S00eZ4rfQWczAixg57vyh_9vZ5m5EKB5Ksc,680
|
|
139
|
-
crosshair/libimpl/encodings/_encutil.py,sha256=3vMCenxKuW1kTqKHFOwSHuz463DRn5zvBhBDLIukdzU,6711
|
|
140
|
-
crosshair/libimpl/encodings/ascii.py,sha256=Cz1xraTkXdQ5aBKDkorX4rAvrmf877_EqzC9hOmbItw,1416
|
|
141
|
-
crosshair/libimpl/encodings/latin_1.py,sha256=ftUsPjUb9L7UKXKi9P7OAqOl9FkNP98M9jMAvseXBCQ,1242
|
|
142
|
-
crosshair/libimpl/encodings/utf_8.py,sha256=BygLLIeI3_F2MpFVgaty8ebiuxp0YWz7IzXeYPWjsqU,3173
|
|
143
|
-
crosshair/tools/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
144
|
-
crosshair/tools/check_help_in_doc.py,sha256=P21AH3mYrTVuBgWD6v65YXqBqmqpQDUTQeoZ10rB6TU,8235
|
|
145
|
-
crosshair/tools/check_init_and_setup_coincide.py,sha256=KizNLDmCYGHK-xVNDETf4FRSBCulXuR34llRwzm74u8,3537
|
|
146
|
-
crosshair/tools/generate_demo_table.py,sha256=0SeO0xQdiT-mbLNHt4rYL0wcc2DMh0v3qtzBdoQonDk,3831
|
|
147
|
-
crosshair_tool-0.0.56.dist-info/LICENSE,sha256=NVyMvNqn1pH6RSHs6RWRcJyJvORnpgGFBlF73buqYJ0,4459
|
|
148
|
-
crosshair_tool-0.0.56.dist-info/METADATA,sha256=M9CuUqBKoxCv1pNf6Ir1mJQc8n68LbTfH3ffwcFX9HM,6674
|
|
149
|
-
crosshair_tool-0.0.56.dist-info/WHEEL,sha256=oITnL8r4K9lhj-wWSHlE2XUA0J8WLXdegrKtvi_34zA,108
|
|
150
|
-
crosshair_tool-0.0.56.dist-info/entry_points.txt,sha256=u5FIPVn1jqn4Kzg5K_iNnbP6L4hQw5FWjQ0UMezG2VE,96
|
|
151
|
-
crosshair_tool-0.0.56.dist-info/top_level.txt,sha256=2jLWtM-BWg_ZYNbNfrcds0HFZD62a6J7ZIbcgcQrRk4,29
|
|
152
|
-
crosshair_tool-0.0.56.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|