klara
- Klara is a automatic test case generatorcli
- A central command line option to use for all toolscommon
- Undocumentedcfg_common
- Undocumentedcommon
- Undocumentedcontract
- Undocumentedcore
- No package docstring; 0/1 constant, 1/1 class, 5/23 modules, 0/2 package documentedbase_manager
- A central manager that storing configs, provide logging mechanism etc... This is a base manager, which means that it should not import any module to avoid cyclic dependencies. To add any capabilities to the manager, create a new file to inherit the manager...bases
- No module docstring; 6/10 classes documentedcfg
- No module docstring; 0/1 variable, 0/2 constant, 0/1 function, 5/12 classes documentedconfig
- provide config for analysis related or inferencecontext_mod
- No module docstring; 0/1 variable, 3/3 classes documenteddecorators
- No module docstring; 0/1 constant, 4/5 functions, 1/1 class documentedexceptions
- No module docstring; 4/14 classes documentedhtml
- Undocumentedinfer_server
- Undocumentedreport
- Undocumentedinference
- No module docstring; 0/3 constant, 17/67 functions, 2/5 classes documentedmanager
- Undocumentednode_classes
- No module docstring; 0/3 constant, 1/1 function, 15/71 classes documentednodes
- Undocumentedprotocols
- Defined python's object behaviour e.g. dunder method definition and actionraw_building
- Undocumentedrecipe
- No module docstring; 1/1 class documentedscoped_node_classes
- No module docstring; 1/2 function, 3/14 classes documentedsource_utils
- utilities for working with plugins/type stub filessa
- No module docstring; 0/1 constant, 1/1 function, 0/2 class documentedssa_visitors
- No module docstring; 0/1 constant, 4/6 classes documentedtransform
- Custom transform is applied after SSA, which allows the predicate function to make use of SSA for maximum precision. this also means that infer() is allowed in the specified transform function since all necessary information have been set up during that time.tree
- Undocumentedinfer_proxy
- Undocumentedtree_rewriter
- No module docstring; 0/2 constant, 1/6 function, 0/2 class documenteduse_def_chain
- No module docstring; 0/1 constant, 1/2 function, 1/1 class documentedutilities
- No module docstring; 0/3 constant, 6/16 functions, 3/3 classes documented_ast
- Undocumentedklara_z3
- No package docstring; 2/4 modules, 0/2 package documentedcov_manager
- manager instance for coverage analysishtml
- Undocumentedreport
- Undocumentedinference_extension
- Integrate z3 solver to the inference systeminstance_collector
- No module docstring; 0/1 constant, 1/2 class documentedplugins
- No package docstring; 2/2 modules documented99_math_z3
- extension to support math.ceil and math.floor floor and ceil by default will just bypassed. Specifically target ceil division (math.ceil(float(x)/y))infer_z3
- additional extension file to substitute all of the field defined in substitutes. Substituted node is needed for 'flattening' a node with respect to a particular node, because the usual `infer` will give us `uninferable` result...z3_nodes
- Undocumentedscripts
- Undocumentedcover_gen_ins
- Undocumentedconfig
- No module docstring; 1/1 class documentedline_fix_solver
- Undocumentedsolver
- No module docstring; 0/1 constant, 0/1 function, 1/1 class documented__main__
- Undocumentedpy_check
- Undocumentedconfig
- Undocumentedfcf_solver
- No module docstring; 0/1 constant, 0/1 function, 2/8 classes documentedhtml
- Undocumentedreport
- Undocumentedloop_solver
- Undocumentedresult_banner
- Undocumentedterminal
- Undocumented__main__
- Undocumentedversion
- Undocumented