├── .coveragerc ├── .github └── workflows │ ├── publish.yml │ └── test.yml ├── .gitignore ├── .gitlab-ci.yml ├── .gitmodules ├── .readthedocs.yml ├── CHANGELOG ├── LICENSE.rst ├── Makefile ├── README.md ├── dev-script ├── check_difference.py ├── fstring-converter.py ├── get_class_names.py ├── monitor_process.sh ├── performance-regression.sh ├── release.sh ├── remove-trailing-ws └── repeat-test ├── docs ├── Makefile ├── make.bat ├── requirements.txt └── source │ ├── api.rst │ ├── cfg_ssa.rst │ ├── cfg_ssa_resources │ ├── DF_example.svg │ ├── cfg.svg │ ├── cfg_ssa_intro.svg │ ├── cfg_ssa_intro_after_ssa.svg.png │ ├── cfg_ssa_intro_after_ssa_1.svg │ ├── dominator_tree.svg │ ├── dominator_tree_example.svg │ ├── dominator_tree_example.svg.png │ ├── dominator_tree_example_result.svg │ ├── dominator_tree_example_result.svg.png │ ├── globals_and_block_set_ex.svg │ ├── globals_and_block_set_ex.svg.png │ ├── liveoutEQ.png │ ├── liveoutEQ.svg │ ├── liveoutcomplexex.png │ ├── liveoutcomplexex.svg │ ├── liveoutcomplexex.svg.png │ ├── liveoutcomplexexRes.svg │ ├── liveoutcomplexexRes.svg.png │ ├── liveoutcomplexvarkillex.png │ ├── liveoutcomplexvarkillex.svg │ ├── liveoutcomplexvarkillex.svg.png │ ├── liveoutsimpleex.png │ ├── liveoutsimpleex.svg │ ├── liveoutsimpleex.svg.png │ ├── liveoutsimpleexWlo.svg │ ├── liveoutsimpleexWlo.svg.png │ ├── minimal_ex.svg │ ├── problems_statement_ex.svg │ ├── problems_statement_ex.svg.png │ ├── pruned_ssa_diff_ex.svg │ ├── pruned_ssa_diff_ex.svg.png │ ├── pruned_ssa_diff_ex_sol.svg │ ├── pruning_ex.svg │ ├── renaming │ │ ├── intro_to_renaming.svg │ │ ├── renaming_why_dom_ex.png │ │ ├── renaming_why_dom_ex.svg │ │ ├── show_indication.svg │ │ ├── stack_and_counter.png │ │ ├── stack_and_counter.svg │ │ ├── stack_counter_multi_block.png │ │ └── stack_counter_multi_block.svg │ ├── semipruned_ex.svg │ ├── stack_counter_ex.svg │ ├── stack_counter_ex.svg.png │ ├── terminology_block.svg │ ├── trivial_ex.svg │ ├── uevar_varkill_ex.png │ ├── uevar_varkill_ex.svg │ ├── worklist_importance_example.svg │ └── worklist_importance_example.svg.png │ ├── conf.py │ ├── customize_coverage_strategy.rst │ ├── extending.rst │ ├── extending_user_type.rst │ ├── how_does_it_works.rst │ ├── index.rst │ ├── inference.rst │ ├── introduction.md │ ├── limitation.rst │ ├── plugins.rst │ └── quick_start.rst ├── klara ├── __init__.py ├── cli.py ├── common │ ├── __init__.py │ ├── cfg_common.py │ └── common.py ├── contract │ ├── __init__.py │ ├── __main__.py │ ├── config.py │ └── solver.py ├── core │ ├── __init__.py │ ├── _ast.py │ ├── base_manager.py │ ├── bases.py │ ├── cfg.py │ ├── config.py │ ├── context_mod.py │ ├── decorators.py │ ├── exceptions.py │ ├── html │ │ ├── __init__.py │ │ ├── infer_server.py │ │ └── report.py │ ├── inference.py │ ├── manager.py │ ├── node_classes.py │ ├── nodes.py │ ├── protocols.py │ ├── raw_building.py │ ├── recipe.py │ ├── scoped_node_classes.py │ ├── source_utils.py │ ├── ssa.py │ ├── ssa_visitors.py │ ├── transform.py │ ├── tree │ │ ├── __init__.py │ │ └── infer_proxy.py │ ├── tree_rewriter.py │ ├── typeshed │ │ └── stdlib │ │ │ └── 2and3 │ │ │ ├── builtins.pyi │ │ │ └── math.pyi │ ├── use_def_chain.py │ └── utilities.py ├── examples │ ├── cover_select_field │ │ ├── __init__.py │ │ ├── cover_select_field.py │ │ └── source.py │ ├── custom_test_gen.py │ ├── extending_inference.py │ ├── extending_transform.py │ ├── infer_z3.py │ └── simple_inference.py ├── html │ ├── htmlfiles │ │ ├── bootstrap │ │ │ ├── css │ │ │ │ ├── bootstrap-grid.css │ │ │ │ ├── bootstrap-grid.css.map │ │ │ │ ├── bootstrap-grid.min.css │ │ │ │ ├── bootstrap-grid.min.css.map │ │ │ │ ├── bootstrap-reboot.css │ │ │ │ ├── bootstrap-reboot.css.map │ │ │ │ ├── bootstrap-reboot.min.css │ │ │ │ ├── bootstrap-reboot.min.css.map │ │ │ │ ├── bootstrap.css │ │ │ │ ├── bootstrap.css.map │ │ │ │ ├── bootstrap.min.css │ │ │ │ └── bootstrap.min.css.map │ │ │ └── js │ │ │ │ ├── bootstrap.bundle.js │ │ │ │ ├── bootstrap.bundle.js.map │ │ │ │ ├── bootstrap.bundle.min.js │ │ │ │ ├── bootstrap.bundle.min.js.map │ │ │ │ ├── bootstrap.js │ │ │ │ ├── bootstrap.js.map │ │ │ │ ├── bootstrap.min.js │ │ │ │ └── bootstrap.min.js.map │ │ ├── coverage_html.js │ │ ├── down.png │ │ ├── index.html │ │ ├── jquery.ba-throttle-debounce.min.js │ │ ├── jquery.hotkeys.js │ │ ├── jquery.isonscreen.js │ │ ├── jquery.min.js │ │ ├── jquery.tablesorter.min.js │ │ ├── keybd_closed.png │ │ ├── keybd_open.png │ │ ├── popper.min.js │ │ ├── pyfile.html │ │ ├── style.css │ │ ├── style.scss │ │ └── up.png │ ├── phystokens.py │ ├── report.py │ └── templite.py ├── klara_z3 │ ├── __init__.py │ ├── cov_manager.py │ ├── html │ │ ├── __init__.py │ │ ├── pyfile_cov.html │ │ └── report.py │ ├── inference_extension.py │ ├── instance_collector.py │ ├── plugins │ │ ├── 99_math_z3.py │ │ ├── __init__.py │ │ └── infer_z3.py │ └── z3_nodes.py ├── plugins │ ├── builtin_inference.py │ └── typeshed_stub.py ├── scripts │ ├── __init__.py │ ├── cover_gen_ins │ │ ├── __init__.py │ │ ├── __main__.py │ │ ├── config.py │ │ ├── default_config.ini │ │ ├── line_fix_solver.py │ │ └── solver.py │ └── py_check │ │ ├── __init__.py │ │ ├── __main__.py │ │ ├── config.py │ │ ├── default_config.ini │ │ ├── fcf_solver.py │ │ ├── html │ │ ├── __init__.py │ │ └── report.py │ │ ├── loop_solver.py │ │ ├── result_banner.py │ │ └── terminal.py └── version.py ├── poetry.lock ├── pyproject.toml ├── setup.cfg └── test ├── __init__.py ├── conftest.py ├── helper ├── __init__.py ├── base_test.py ├── cfg_helper.py ├── cfg_th.py └── ssa_th.py ├── test_caf_checker ├── __init__.py ├── test_cli.py ├── test_fcf_solver.py └── test_loop_solver.py ├── test_contract ├── __init__.py ├── sample.py └── test_contract.py ├── test_core ├── __init__.py ├── test_cfg.py ├── test_common │ ├── __init__.py │ └── test_graph_walking.py ├── test_dominator.py ├── test_inference.py ├── test_ins_phi.py ├── test_interprocedural │ ├── __init__.py │ └── test_inter_cfg.py ├── test_nodes.py ├── test_renaming.py ├── test_ssa.py ├── test_transform.py ├── test_type_inference.py ├── test_use_def.py └── test_utilities.py ├── test_cov_analysis ├── __init__.py ├── sample_data.xml ├── test_bound_conditions.py ├── test_condition_solver.py └── test_replaced_conds.py ├── test_html ├── __init__.py └── test_infer_server.py ├── test_line_fix ├── __init__.py └── test_line_fix.py └── test_plugins ├── __init__.py ├── example_stub.pyi ├── sample_data.xml ├── test_builtins_inference.py └── test_stubs.py /.coveragerc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.coveragerc -------------------------------------------------------------------------------- /.github/workflows/publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.github/workflows/publish.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.gitmodules -------------------------------------------------------------------------------- /.readthedocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/.readthedocs.yml -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/CHANGELOG -------------------------------------------------------------------------------- /LICENSE.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/LICENSE.rst -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/README.md -------------------------------------------------------------------------------- /dev-script/check_difference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/check_difference.py -------------------------------------------------------------------------------- /dev-script/fstring-converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/fstring-converter.py -------------------------------------------------------------------------------- /dev-script/get_class_names.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/get_class_names.py -------------------------------------------------------------------------------- /dev-script/monitor_process.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/monitor_process.sh -------------------------------------------------------------------------------- /dev-script/performance-regression.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/performance-regression.sh -------------------------------------------------------------------------------- /dev-script/release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/release.sh -------------------------------------------------------------------------------- /dev-script/remove-trailing-ws: -------------------------------------------------------------------------------- 1 | #! /bin/sh 2 | sed -i 's/[ \t]*$//' "$1" -------------------------------------------------------------------------------- /dev-script/repeat-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/dev-script/repeat-test -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- 1 | furo 2 | myst-parser 3 | -------------------------------------------------------------------------------- /docs/source/api.rst: -------------------------------------------------------------------------------- 1 | API 2 | === 3 | .. automodule:: klara 4 | :members: 5 | -------------------------------------------------------------------------------- /docs/source/cfg_ssa.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa.rst -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/DF_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/DF_example.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/cfg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/cfg.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/cfg_ssa_intro.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/cfg_ssa_intro.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/cfg_ssa_intro_after_ssa.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/cfg_ssa_intro_after_ssa.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/cfg_ssa_intro_after_ssa_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/cfg_ssa_intro_after_ssa_1.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/dominator_tree.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/dominator_tree.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/dominator_tree_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/dominator_tree_example.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/dominator_tree_example.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/dominator_tree_example.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/dominator_tree_example_result.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/dominator_tree_example_result.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/dominator_tree_example_result.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/dominator_tree_example_result.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/globals_and_block_set_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/globals_and_block_set_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/globals_and_block_set_ex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/globals_and_block_set_ex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutEQ.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutEQ.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutEQ.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutEQ.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexex.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexexRes.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexexRes.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexexRes.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexexRes.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexvarkillex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexvarkillex.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexvarkillex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexvarkillex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutcomplexvarkillex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutcomplexvarkillex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutsimpleex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutsimpleex.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutsimpleex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutsimpleex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutsimpleex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutsimpleex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutsimpleexWlo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutsimpleexWlo.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/liveoutsimpleexWlo.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/liveoutsimpleexWlo.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/minimal_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/minimal_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/problems_statement_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/problems_statement_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/problems_statement_ex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/problems_statement_ex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/pruned_ssa_diff_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/pruned_ssa_diff_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/pruned_ssa_diff_ex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/pruned_ssa_diff_ex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/pruned_ssa_diff_ex_sol.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/pruned_ssa_diff_ex_sol.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/pruning_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/pruning_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/intro_to_renaming.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/intro_to_renaming.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/renaming_why_dom_ex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/renaming_why_dom_ex.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/renaming_why_dom_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/renaming_why_dom_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/show_indication.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/show_indication.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/stack_and_counter.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/stack_and_counter.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/stack_and_counter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/stack_and_counter.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/stack_counter_multi_block.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/stack_counter_multi_block.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/renaming/stack_counter_multi_block.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/renaming/stack_counter_multi_block.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/semipruned_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/semipruned_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/stack_counter_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/stack_counter_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/stack_counter_ex.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/stack_counter_ex.svg.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/terminology_block.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/terminology_block.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/trivial_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/trivial_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/uevar_varkill_ex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/uevar_varkill_ex.png -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/uevar_varkill_ex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/uevar_varkill_ex.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/worklist_importance_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/worklist_importance_example.svg -------------------------------------------------------------------------------- /docs/source/cfg_ssa_resources/worklist_importance_example.svg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/cfg_ssa_resources/worklist_importance_example.svg.png -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/customize_coverage_strategy.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/customize_coverage_strategy.rst -------------------------------------------------------------------------------- /docs/source/extending.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/extending.rst -------------------------------------------------------------------------------- /docs/source/extending_user_type.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/extending_user_type.rst -------------------------------------------------------------------------------- /docs/source/how_does_it_works.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/how_does_it_works.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/inference.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/inference.rst -------------------------------------------------------------------------------- /docs/source/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/introduction.md -------------------------------------------------------------------------------- /docs/source/limitation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/limitation.rst -------------------------------------------------------------------------------- /docs/source/plugins.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/plugins.rst -------------------------------------------------------------------------------- /docs/source/quick_start.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/docs/source/quick_start.rst -------------------------------------------------------------------------------- /klara/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/__init__.py -------------------------------------------------------------------------------- /klara/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/cli.py -------------------------------------------------------------------------------- /klara/common/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/common/cfg_common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/common/cfg_common.py -------------------------------------------------------------------------------- /klara/common/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/common/common.py -------------------------------------------------------------------------------- /klara/contract/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/contract/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/contract/__main__.py -------------------------------------------------------------------------------- /klara/contract/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/contract/config.py -------------------------------------------------------------------------------- /klara/contract/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/contract/solver.py -------------------------------------------------------------------------------- /klara/core/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/__init__.py -------------------------------------------------------------------------------- /klara/core/_ast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/_ast.py -------------------------------------------------------------------------------- /klara/core/base_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/base_manager.py -------------------------------------------------------------------------------- /klara/core/bases.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/bases.py -------------------------------------------------------------------------------- /klara/core/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/cfg.py -------------------------------------------------------------------------------- /klara/core/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/config.py -------------------------------------------------------------------------------- /klara/core/context_mod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/context_mod.py -------------------------------------------------------------------------------- /klara/core/decorators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/decorators.py -------------------------------------------------------------------------------- /klara/core/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/exceptions.py -------------------------------------------------------------------------------- /klara/core/html/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/core/html/infer_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/html/infer_server.py -------------------------------------------------------------------------------- /klara/core/html/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/html/report.py -------------------------------------------------------------------------------- /klara/core/inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/inference.py -------------------------------------------------------------------------------- /klara/core/manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/manager.py -------------------------------------------------------------------------------- /klara/core/node_classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/node_classes.py -------------------------------------------------------------------------------- /klara/core/nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/nodes.py -------------------------------------------------------------------------------- /klara/core/protocols.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/protocols.py -------------------------------------------------------------------------------- /klara/core/raw_building.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/core/recipe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/recipe.py -------------------------------------------------------------------------------- /klara/core/scoped_node_classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/scoped_node_classes.py -------------------------------------------------------------------------------- /klara/core/source_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/source_utils.py -------------------------------------------------------------------------------- /klara/core/ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/ssa.py -------------------------------------------------------------------------------- /klara/core/ssa_visitors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/ssa_visitors.py -------------------------------------------------------------------------------- /klara/core/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/transform.py -------------------------------------------------------------------------------- /klara/core/tree/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/core/tree/infer_proxy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/tree/infer_proxy.py -------------------------------------------------------------------------------- /klara/core/tree_rewriter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/tree_rewriter.py -------------------------------------------------------------------------------- /klara/core/typeshed/stdlib/2and3/builtins.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/typeshed/stdlib/2and3/builtins.pyi -------------------------------------------------------------------------------- /klara/core/typeshed/stdlib/2and3/math.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/typeshed/stdlib/2and3/math.pyi -------------------------------------------------------------------------------- /klara/core/use_def_chain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/use_def_chain.py -------------------------------------------------------------------------------- /klara/core/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/core/utilities.py -------------------------------------------------------------------------------- /klara/examples/cover_select_field/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/examples/cover_select_field/cover_select_field.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/cover_select_field/cover_select_field.py -------------------------------------------------------------------------------- /klara/examples/cover_select_field/source.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/cover_select_field/source.py -------------------------------------------------------------------------------- /klara/examples/custom_test_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/custom_test_gen.py -------------------------------------------------------------------------------- /klara/examples/extending_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/extending_inference.py -------------------------------------------------------------------------------- /klara/examples/extending_transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/extending_transform.py -------------------------------------------------------------------------------- /klara/examples/infer_z3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/infer_z3.py -------------------------------------------------------------------------------- /klara/examples/simple_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/examples/simple_inference.py -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-grid.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-grid.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-grid.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-grid.css.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-grid.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-grid.min.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-grid.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-grid.min.css.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.css.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.min.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.min.css.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap.css.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap.min.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/css/bootstrap.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/css/bootstrap.min.css.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.js.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.min.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.min.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.min.js.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.js.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.min.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/bootstrap/js/bootstrap.min.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/bootstrap/js/bootstrap.min.js.map -------------------------------------------------------------------------------- /klara/html/htmlfiles/coverage_html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/coverage_html.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/down.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/down.png -------------------------------------------------------------------------------- /klara/html/htmlfiles/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/index.html -------------------------------------------------------------------------------- /klara/html/htmlfiles/jquery.ba-throttle-debounce.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/jquery.ba-throttle-debounce.min.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/jquery.hotkeys.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/jquery.hotkeys.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/jquery.isonscreen.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/jquery.isonscreen.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/jquery.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/jquery.min.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/jquery.tablesorter.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/jquery.tablesorter.min.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/keybd_closed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/keybd_closed.png -------------------------------------------------------------------------------- /klara/html/htmlfiles/keybd_open.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/keybd_open.png -------------------------------------------------------------------------------- /klara/html/htmlfiles/popper.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/popper.min.js -------------------------------------------------------------------------------- /klara/html/htmlfiles/pyfile.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/pyfile.html -------------------------------------------------------------------------------- /klara/html/htmlfiles/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/style.css -------------------------------------------------------------------------------- /klara/html/htmlfiles/style.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/style.scss -------------------------------------------------------------------------------- /klara/html/htmlfiles/up.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/htmlfiles/up.png -------------------------------------------------------------------------------- /klara/html/phystokens.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/phystokens.py -------------------------------------------------------------------------------- /klara/html/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/report.py -------------------------------------------------------------------------------- /klara/html/templite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/html/templite.py -------------------------------------------------------------------------------- /klara/klara_z3/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/klara_z3/cov_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/cov_manager.py -------------------------------------------------------------------------------- /klara/klara_z3/html/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/klara_z3/html/pyfile_cov.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/html/pyfile_cov.html -------------------------------------------------------------------------------- /klara/klara_z3/html/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/html/report.py -------------------------------------------------------------------------------- /klara/klara_z3/inference_extension.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/inference_extension.py -------------------------------------------------------------------------------- /klara/klara_z3/instance_collector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/instance_collector.py -------------------------------------------------------------------------------- /klara/klara_z3/plugins/99_math_z3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/plugins/99_math_z3.py -------------------------------------------------------------------------------- /klara/klara_z3/plugins/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/klara_z3/plugins/infer_z3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/plugins/infer_z3.py -------------------------------------------------------------------------------- /klara/klara_z3/z3_nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/klara_z3/z3_nodes.py -------------------------------------------------------------------------------- /klara/plugins/builtin_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/plugins/builtin_inference.py -------------------------------------------------------------------------------- /klara/plugins/typeshed_stub.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/plugins/typeshed_stub.py -------------------------------------------------------------------------------- /klara/scripts/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/scripts/cover_gen_ins/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/scripts/cover_gen_ins/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/cover_gen_ins/__main__.py -------------------------------------------------------------------------------- /klara/scripts/cover_gen_ins/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/cover_gen_ins/config.py -------------------------------------------------------------------------------- /klara/scripts/cover_gen_ins/default_config.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/cover_gen_ins/default_config.ini -------------------------------------------------------------------------------- /klara/scripts/cover_gen_ins/line_fix_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/cover_gen_ins/line_fix_solver.py -------------------------------------------------------------------------------- /klara/scripts/cover_gen_ins/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/cover_gen_ins/solver.py -------------------------------------------------------------------------------- /klara/scripts/py_check/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/scripts/py_check/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/__main__.py -------------------------------------------------------------------------------- /klara/scripts/py_check/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/config.py -------------------------------------------------------------------------------- /klara/scripts/py_check/default_config.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/default_config.ini -------------------------------------------------------------------------------- /klara/scripts/py_check/fcf_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/fcf_solver.py -------------------------------------------------------------------------------- /klara/scripts/py_check/html/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klara/scripts/py_check/html/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/html/report.py -------------------------------------------------------------------------------- /klara/scripts/py_check/loop_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/loop_solver.py -------------------------------------------------------------------------------- /klara/scripts/py_check/result_banner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/result_banner.py -------------------------------------------------------------------------------- /klara/scripts/py_check/terminal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/klara/scripts/py_check/terminal.py -------------------------------------------------------------------------------- /klara/version.py: -------------------------------------------------------------------------------- 1 | __version__ = "0.6.3" 2 | -------------------------------------------------------------------------------- /poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/poetry.lock -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/setup.cfg -------------------------------------------------------------------------------- /test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/conftest.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/helper/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/helper/base_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/helper/base_test.py -------------------------------------------------------------------------------- /test/helper/cfg_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/helper/cfg_helper.py -------------------------------------------------------------------------------- /test/helper/cfg_th.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/helper/cfg_th.py -------------------------------------------------------------------------------- /test/helper/ssa_th.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/helper/ssa_th.py -------------------------------------------------------------------------------- /test/test_caf_checker/__init__.py: -------------------------------------------------------------------------------- 1 | # don't remove me 2 | -------------------------------------------------------------------------------- /test/test_caf_checker/test_cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_caf_checker/test_cli.py -------------------------------------------------------------------------------- /test/test_caf_checker/test_fcf_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_caf_checker/test_fcf_solver.py -------------------------------------------------------------------------------- /test/test_caf_checker/test_loop_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_caf_checker/test_loop_solver.py -------------------------------------------------------------------------------- /test/test_contract/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_contract/sample.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_contract/sample.py -------------------------------------------------------------------------------- /test/test_contract/test_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_contract/test_contract.py -------------------------------------------------------------------------------- /test/test_core/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_core/test_cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_cfg.py -------------------------------------------------------------------------------- /test/test_core/test_common/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_core/test_common/test_graph_walking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_common/test_graph_walking.py -------------------------------------------------------------------------------- /test/test_core/test_dominator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_dominator.py -------------------------------------------------------------------------------- /test/test_core/test_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_inference.py -------------------------------------------------------------------------------- /test/test_core/test_ins_phi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_ins_phi.py -------------------------------------------------------------------------------- /test/test_core/test_interprocedural/__init__.py: -------------------------------------------------------------------------------- 1 | # don't remove me 2 | -------------------------------------------------------------------------------- /test/test_core/test_interprocedural/test_inter_cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_interprocedural/test_inter_cfg.py -------------------------------------------------------------------------------- /test/test_core/test_nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_nodes.py -------------------------------------------------------------------------------- /test/test_core/test_renaming.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_renaming.py -------------------------------------------------------------------------------- /test/test_core/test_ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_ssa.py -------------------------------------------------------------------------------- /test/test_core/test_transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_transform.py -------------------------------------------------------------------------------- /test/test_core/test_type_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_type_inference.py -------------------------------------------------------------------------------- /test/test_core/test_use_def.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_use_def.py -------------------------------------------------------------------------------- /test/test_core/test_utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_core/test_utilities.py -------------------------------------------------------------------------------- /test/test_cov_analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_cov_analysis/sample_data.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_cov_analysis/sample_data.xml -------------------------------------------------------------------------------- /test/test_cov_analysis/test_bound_conditions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_cov_analysis/test_bound_conditions.py -------------------------------------------------------------------------------- /test/test_cov_analysis/test_condition_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_cov_analysis/test_condition_solver.py -------------------------------------------------------------------------------- /test/test_cov_analysis/test_replaced_conds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_cov_analysis/test_replaced_conds.py -------------------------------------------------------------------------------- /test/test_html/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_html/test_infer_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_html/test_infer_server.py -------------------------------------------------------------------------------- /test/test_line_fix/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_line_fix/test_line_fix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_line_fix/test_line_fix.py -------------------------------------------------------------------------------- /test/test_plugins/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_plugins/example_stub.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_plugins/example_stub.pyi -------------------------------------------------------------------------------- /test/test_plugins/sample_data.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_plugins/sample_data.xml -------------------------------------------------------------------------------- /test/test_plugins/test_builtins_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_plugins/test_builtins_inference.py -------------------------------------------------------------------------------- /test/test_plugins/test_stubs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/usagitoneko97/klara/HEAD/test/test_plugins/test_stubs.py --------------------------------------------------------------------------------