LICENSE
README.md
setup.cfg
setup.py
crosshair/__init__.py
crosshair/__main__.py
crosshair/_mark_stacks.h
crosshair/_preliminaries_test.py
crosshair/_tracers.c
crosshair/_tracers.h
crosshair/_tracers_pycompat.h
crosshair/_tracers_test.py
crosshair/abcstring.py
crosshair/auditwall.py
crosshair/auditwall_test.py
crosshair/codeconfig.py
crosshair/codeconfig_test.py
crosshair/condition_parser.py
crosshair/condition_parser_test.py
crosshair/conftest.py
crosshair/copyext.py
crosshair/copyext_test.py
crosshair/core.py
crosshair/core_and_libs.py
crosshair/core_test.py
crosshair/diff_behavior.py
crosshair/diff_behavior_test.py
crosshair/dynamic_typing.py
crosshair/dynamic_typing_test.py
crosshair/enforce.py
crosshair/enforce_test.py
crosshair/fnutil.py
crosshair/fnutil_test.py
crosshair/fuzz_core_test.py
crosshair/lsp_server.py
crosshair/lsp_server_test.py
crosshair/main.py
crosshair/main_test.py
crosshair/objectproxy.py
crosshair/objectproxy_test.py
crosshair/opcode_intercept.py
crosshair/opcode_intercept_test.py
crosshair/options.py
crosshair/options_test.py
crosshair/patch_equivalence_test.py
crosshair/path_cover.py
crosshair/path_cover_test.py
crosshair/path_search.py
crosshair/path_search_test.py
crosshair/pathing_oracle.py
crosshair/pure_importer.py
crosshair/pure_importer_test.py
crosshair/register_contract.py
crosshair/register_contract_test.py
crosshair/simplestructs.py
crosshair/simplestructs_test.py
crosshair/statespace.py
crosshair/statespace_test.py
crosshair/stubs_parser.py
crosshair/stubs_parser_test.py
crosshair/test_util.py
crosshair/tracers.py
crosshair/tracers_test.py
crosshair/type_repo.py
crosshair/unicode_categories.py
crosshair/unicode_categories_test.py
crosshair/util.py
crosshair/util_test.py
crosshair/watcher.py
crosshair/watcher_test.py
crosshair/z3util.py
crosshair/z3util_test.py
crosshair/examples/__init__.py
crosshair/examples/check_examples_test.py
crosshair/examples/PEP316/__init__.py
crosshair/examples/PEP316/bugs_detected/__init__.py
crosshair/examples/PEP316/bugs_detected/getattr_magic.py
crosshair/examples/PEP316/bugs_detected/hash_consistent_with_equals.py
crosshair/examples/PEP316/bugs_detected/shopping_cart.py
crosshair/examples/PEP316/bugs_detected/showcase.py
crosshair/examples/PEP316/correct_code/__init__.py
crosshair/examples/PEP316/correct_code/arith.py
crosshair/examples/PEP316/correct_code/chess.py
crosshair/examples/PEP316/correct_code/nesting_inference.py
crosshair/examples/PEP316/correct_code/numpy_examples.py
crosshair/examples/PEP316/correct_code/rolling_average.py
crosshair/examples/PEP316/correct_code/showcase.py
crosshair/examples/deal/__init__.py
crosshair/examples/hypothesis/__init__.py
crosshair/examples/hypothesis/bugs_detected/__init__.py
crosshair/examples/hypothesis/bugs_detected/simple_strategies.py
crosshair/examples/icontract/__init__.py
crosshair/examples/icontract/bugs_detected/__init__.py
crosshair/examples/icontract/bugs_detected/showcase.py
crosshair/examples/icontract/bugs_detected/wrong_sign.py
crosshair/examples/icontract/correct_code/__init__.py
crosshair/examples/icontract/correct_code/arith.py
crosshair/examples/icontract/correct_code/showcase.py
crosshair/libimpl/__init__.py
crosshair/libimpl/arraylib.py
crosshair/libimpl/bisectlib_test.py
crosshair/libimpl/builtinslib.py
crosshair/libimpl/builtinslib_ch_test.py
crosshair/libimpl/builtinslib_test.py
crosshair/libimpl/codecslib.py
crosshair/libimpl/codecslib_test.py
crosshair/libimpl/collectionslib.py
crosshair/libimpl/collectionslib_ch_test.py
crosshair/libimpl/collectionslib_test.py
crosshair/libimpl/copylib.py
crosshair/libimpl/datetimelib.py
crosshair/libimpl/datetimelib_ch_test.py
crosshair/libimpl/datetimelib_test.py
crosshair/libimpl/encodings_ch_test.py
crosshair/libimpl/functoolslib.py
crosshair/libimpl/functoolslib_test.py
crosshair/libimpl/heapqlib.py
crosshair/libimpl/heapqlib_test.py
crosshair/libimpl/importliblib.py
crosshair/libimpl/importliblib_test.py
crosshair/libimpl/iolib.py
crosshair/libimpl/iolib_ch_test.py
crosshair/libimpl/iolib_test.py
crosshair/libimpl/itertoolslib.py
crosshair/libimpl/itertoolslib_test.py
crosshair/libimpl/jsonlib.py
crosshair/libimpl/jsonlib_ch_test.py
crosshair/libimpl/jsonlib_test.py
crosshair/libimpl/mathlib.py
crosshair/libimpl/mathlib_test.py
crosshair/libimpl/randomlib.py
crosshair/libimpl/randomlib_test.py
crosshair/libimpl/relib.py
crosshair/libimpl/relib_ch_test.py
crosshair/libimpl/relib_test.py
crosshair/libimpl/timelib.py
crosshair/libimpl/timelib_test.py
crosshair/libimpl/unicodedatalib.py
crosshair/libimpl/unicodedatalib_test.py
crosshair/libimpl/urlliblib.py
crosshair/libimpl/urlliblib_test.py
crosshair/libimpl/encodings/__init__.py
crosshair/libimpl/encodings/_encutil.py
crosshair/libimpl/encodings/ascii.py
crosshair/libimpl/encodings/latin_1.py
crosshair/libimpl/encodings/utf_8.py
crosshair/tools/__init__.py
crosshair/tools/check_help_in_doc.py
crosshair/tools/check_init_and_setup_coincide.py
crosshair/tools/generate_demo_table.py
crosshair_tool.egg-info/PKG-INFO
crosshair_tool.egg-info/SOURCES.txt
crosshair_tool.egg-info/dependency_links.txt
crosshair_tool.egg-info/entry_points.txt
crosshair_tool.egg-info/requires.txt
crosshair_tool.egg-info/top_level.txt