abc.ABC
klara.core.node_classes.Variable
- mixin for variable relatedklara.core.node_classes.Alias
- No class docstring; 0/3 instance variable, 0/2 class variable, 1/9 method documentedklara.core.node_classes.Arg
- Undocumentedklara.core.node_classes.Attribute
- No class docstring; 0/5 instance variable, 0/2 class variable, 3/13 methods, 1/2 class method documentedklara.core.node_classes.AssignAttribute
- No class docstring; 0/4 instance variable, 0/2 class variable, 1/2 method documentedklara.core.node_classes.DelAttribute
- class for `del ins.attr`klara.core.node_classes.Name
- Class represents name (variable) that have ssa attributes (version) and use-def chainsklara.core.node_classes.AssignName
- class represents name that are being assigned to in Assign statementklara.core.node_classes.DelName
- class for representing `del var`klara.core.node_classes.Starred
- Undocumentedklara.core.node_classes.AssignStarred
- Undocumentedklara.core.node_classes.Subscript
- Undocumentedcollections.OrderedDict
klara.common.common.DefaultOrderedDict
- Undocumentedklara.scripts.py_check.fcf_solver.FloatWarningInFile
- Undocumentedklara.scripts.py_check.fcf_solver.FloatWarningResult
- Undocumenteddict
klara.core.cfg.NoPhiDict
- Undocumentedenum.Enum
klara.core.context_mod.ConditionsMode
- Enum for status in expanding conditionsException
klara.core.exceptions.CustomException
- Undocumentedklara.core.exceptions.ContainerExtractError
- Undocumentedklara.core.exceptions.DuplicateBasesError
- Undocumentedklara.core.exceptions.InconsistentMroError
- Undocumentedklara.core.exceptions.InferenceTransformError
- Undocumentedklara.core.exceptions.InstanceNotExistError
- This is thrown when trying to access the attribute of a non instance variable. e.g. x = 1 y = x.y # ----> thrown x.z = 1 # ----> thrown in renamingklara.core.exceptions.NotInLocalsError
- Variable does not exist in a locals scopeklara.core.exceptions.OperationIncompatible
- Throw when the operation is not compatible. E.g. calling subscript to a name nodeklara.core.exceptions.RenameError
- Undocumentedklara.core.exceptions.StructureError
- Undocumentedklara.core.exceptions.UnannotatedError
- Undocumentedklara.core.exceptions.UnimplementedError
- thrown when certain node/features/method is unimplementedklara.core.exceptions.DunderUnimplemented
- Undocumentedklara.core.exceptions.VariableNotExistStackError
- Undocumentedklara.core.inference.UseInferenceDefault
- Undocumentedklara.core.inference.UseInferredAttr
- Undocumentedklara.common.cfg_common.GraphWalker
- No class docstring; 0/6 instance variable, 1/5 method documentedklara.contract.solver.Assert
- Undocumentedklara.contract.solver.TestCase
- Undocumentedklara.contract.solver.TestModule
- Undocumentedklara.core.base_manager.BaseManager
- Enable custom logging signature to differentiate the context, where the first arg is the operation name. E.g. To log a stuff about ssa, >>> manager = BaseManager() >>> manager.logger.info("ssa", "perform an operation related to ssa")...klara.core.AstManager
- An ast manager. Responsible for: - building and caching builtins tree depends on python version, - managing the protocol of python operation between python 2/3. - managing registering and executing transformation to the tree - load default and user specifies extension file, stub file...klara.klara_z3.cov_manager.CovManager
- Coverage specific managerklara.core.base_manager.CustomLogger
- Custom logger that allow logging time taken >>> c = CustomLogger(logging.info) >>> c("COV", "Running cov") [COV] Running cov... >>> with c("COV", "Running cov..."): ... list(range(10000)) [COV] Running cov...klara.core.base_manager.Message
- Undocumentedklara.core.bases.BaseNode
- The base node for every newly created nodeklara.core.bases.BaseContainer
- class for node that contain multiple element. E.g.: List, Set, Tuple, Dictklara.core.bases.Sequence
- No class docstring; 0/2 instance variable, 2/7 methods documentedklara.core.node_classes.List
- Undocumentedklara.core.node_classes.Set
- Undocumentedklara.core.node_classes.Tuple
- No class docstring; 0/1 instance variable, 0/2 class variable, 1/5 method, 0/1 static method documentedklara.core.node_classes.Dict
- Undocumentedklara.core.bases.LocalsDictNode
- klara.core.bases.ClassInstance
- No class docstring; 0/7 instance variable, 0/1 class variable, 4/5 methods documentedklara.core.scoped_node_classes.ClassDef
- No class docstring; 0/7 instance variable, 0/2 class variable, 1/10 method documentedklara.core.scoped_node_classes.DictComp
- Undocumentedklara.core.scoped_node_classes.FunctionDef
- No class docstring; 1/1 property, 0/7 instance variable, 0/2 class variable, 6/12 methods documentedklara.core.scoped_node_classes.AsyncFunctionDef
- Undocumentedklara.core.scoped_node_classes.GeneratorExp
- Undocumentedklara.core.scoped_node_classes.Lambda
- Undocumentedklara.core.scoped_node_classes.ListComp
- Undocumentedklara.core.scoped_node_classes.Module
- Class representing ast.Moduleklara.core.scoped_node_classes.SetComp
- Undocumentedklara.core.node_classes.Arguments
- Undocumentedklara.core.node_classes.Await
- No class docstring; 0/1 class variable, 1/1 method documentedklara.core.node_classes.BinOp
- Undocumentedklara.core.node_classes.Bool
- Bool wrapper normally used when in Boolean context (e.g. the conditions in `if` stmt). Python implicitly called bool() on the boolean context, in the inference systems, we'll need to know when is the value should be use in boolean context.klara.core.node_classes.BoolOp
- Undocumentedklara.core.node_classes.Call
- No class docstring; 0/5 instance variable, 0/2 class variable, 1/6 method documentedklara.core.node_classes.Compare
- Undocumentedklara.core.node_classes.Comprehension
- Undocumentedklara.core.node_classes.Const
- No class docstring; 0/1 instance variable, 0/1 class variable, 1/5 method documentedklara.core.tree.infer_proxy.InferProxy
- No class docstring; 0/3 instance variable, 0/1 class variable, 1/14 method, 1/1 static method documentedklara.klara_z3.z3_nodes.Z3Proxy
- No class docstring; 0/1 instance variable, 2/12 methods, 0/1 class method documentedklara.core.node_classes.Del
- Undocumentedklara.core.node_classes.Ellipsis
- Undocumentedklara.core.node_classes.ExceptHandler
- Undocumentedklara.core.node_classes.ExtSlice
- Undocumentedklara.core.node_classes.ForIter
- additional node created to unify the analysis E.g. for i in z.iter(): ... This will roughly translate to: i = ForIter(value=z.iter())klara.core.node_classes.FormattedValue
- Class representing an :class:`ast.FormattedValue` node. Represents a :pep:`498` format string.klara.core.node_classes.IfExp
- Undocumentedklara.core.node_classes.Index
- Undocumentedklara.core.node_classes.JoinedStr
- Representing list of string expression to joinklara.core.node_classes.Keyword
- Undocumentedklara.core.node_classes.KillVarCall
- Used for indicating killed var in a call to func/method e.g. def foo(): global a a = 4 a = 5 foo() # foo() will kill `a`, therefore wrap the call to foo() with KillVarCall, and add `a` into the vars to indicate it's killing it.klara.core.node_classes.Load
- Undocumentedklara.core.node_classes.NameConstant
- Undocumentedklara.core.node_classes.Phi
- Undocumentedklara.core.node_classes.Slice
- Undocumentedklara.core.node_classes.Statement
- Node representing statementklara.core.node_classes.AnnAssign
- Undocumentedklara.core.node_classes.Assert
- Undocumentedklara.core.node_classes.Assign
- Undocumentedklara.core.node_classes.AugAssign
- No class docstring; 0/3 instance variable, 0/2 class variable, 1/4 method documentedklara.core.node_classes.Break
- Undocumentedklara.core.node_classes.Continue
- Undocumentedklara.core.node_classes.Delete
- Undocumentedklara.core.node_classes.Expr
- Undocumentedklara.core.node_classes.For
- Undocumentedklara.core.node_classes.AsyncFor
- Undocumentedklara.core.node_classes.Global
- Undocumentedklara.core.node_classes.If
- Undocumentedklara.core.node_classes.Import
- Undocumentedklara.core.node_classes.ImportFrom
- Undocumentedklara.core.node_classes.Pass
- Also uselessklara.core.node_classes.Print
- Undocumentedklara.core.node_classes.Raise
- Undocumentedklara.core.node_classes.Return
- No class docstring; 0/1 instance variable, 0/1 class variable, 1/3 method documentedklara.core.node_classes.Try
- Undocumentedklara.core.node_classes.TryExcept
- Try blocks up to Python3.2klara.core.node_classes.TryFinally
- Try blocks up to Python3.2klara.core.node_classes.While
- Undocumentedklara.core.node_classes.With
- Undocumentedklara.core.node_classes.AsyncWith
- Undocumentedklara.core.scoped_node_classes.FunctionDef
- No class docstring; 1/1 property, 0/7 instance variable, 0/2 class variable, 6/12 methods documentedklara.core.scoped_node_classes.AsyncFunctionDef
- Undocumentedklara.core.node_classes.Store
- Undocumentedklara.core.node_classes.TempInstance
- Class that act as a temp object in locals and instance_dict interaction with non existence attribute. E.g. def foo(a): a.b.c = 1 glob_var.attr = 2 `a` is still exist in the locals since it's the argument, then we can But `a...klara.core.node_classes.TypeStub
- Undocumentedklara.core.node_classes.UnaryOp
- Undocumentedklara.core.node_classes.Variable
- mixin for variable relatedklara.core.node_classes.Alias
- No class docstring; 0/3 instance variable, 0/2 class variable, 1/9 method documentedklara.core.node_classes.Arg
- Undocumentedklara.core.node_classes.Attribute
- No class docstring; 0/5 instance variable, 0/2 class variable, 3/13 methods, 1/2 class method documentedklara.core.node_classes.AssignAttribute
- No class docstring; 0/4 instance variable, 0/2 class variable, 1/2 method documentedklara.core.node_classes.DelAttribute
- class for `del ins.attr`klara.core.node_classes.Name
- Class represents name (variable) that have ssa attributes (version) and use-def chainsklara.core.node_classes.AssignName
- class represents name that are being assigned to in Assign statementklara.core.node_classes.DelName
- class for representing `del var`klara.core.node_classes.Starred
- Undocumentedklara.core.node_classes.AssignStarred
- Undocumentedklara.core.node_classes.Subscript
- Undocumentedklara.core.node_classes.WithItem
- Undocumentedklara.core.scoped_node_classes.Yield
- Yield is an expression , must be wrapped with exprklara.core.scoped_node_classes.YieldFrom
- Undocumentedklara.core.bases.MultiLineBlock
- class representing multiple line e.g. FunctionDef, ClassDef, If etc...klara.core.node_classes.For
- Undocumentedklara.core.node_classes.AsyncFor
- Undocumentedklara.core.node_classes.If
- Undocumentedklara.core.node_classes.While
- Undocumentedklara.core.bases.Proxy
- Temporary holding an objklara.core.bases.BaseInstance
- Undocumentedklara.core.bases.BaseContainer
- class for node that contain multiple element. E.g.: List, Set, Tuple, Dictklara.core.bases.Sequence
- No class docstring; 0/2 instance variable, 2/7 methods documentedklara.core.node_classes.List
- Undocumentedklara.core.node_classes.Set
- Undocumentedklara.core.node_classes.Tuple
- No class docstring; 0/1 instance variable, 0/2 class variable, 1/5 method, 0/1 static method documentedklara.core.node_classes.Dict
- Undocumentedklara.core.bases.ClassInstance
- No class docstring; 0/7 instance variable, 0/1 class variable, 4/5 methods documentedklara.core.node_classes.Const
- No class docstring; 0/1 instance variable, 0/1 class variable, 1/5 method documentedklara.core.tree.infer_proxy.InferProxy
- No class docstring; 0/3 instance variable, 0/1 class variable, 1/14 method, 1/1 static method documentedklara.klara_z3.z3_nodes.Z3Proxy
- No class docstring; 0/1 instance variable, 2/12 methods, 0/1 class method documentedklara.core.bases.Uninferable
- class that represent invalid inference resultklara.core.cfg.Cfg
- No class docstring; 0/6 instance variable, 1/27 method, 1/1 static method documentedklara.core.config.Config
- Undocumentedklara.scripts.cover_gen_ins.config.ConfigNamespace
- Config for cov analysisklara.contract.config.ContractConfig
- Undocumentedklara.scripts.py_check.config.ConfigNamespace
- Undocumentedklara.core.context_mod.GlobalContext
- Class to store global variable for other scopeklara.core.decorators.cachedproperty
- Provides a cached property equivalent to the stacking of @cached and @property, but more efficient.klara.core.inference.UseDefaultInferenceOnce
- Undocumentedklara.core.node_classes.InvertCondMixin
- No class docstring; 1/2 method documentedklara.core.node_classes.BinOp
- Undocumentedklara.core.node_classes.Bool
- Bool wrapper normally used when in Boolean context (e.g. the conditions in `if` stmt). Python implicitly called bool() on the boolean context, in the inference systems, we'll need to know when is the value should be use in boolean context.klara.core.node_classes.BoolOp
- Undocumentedklara.core.node_classes.Call
- No class docstring; 0/5 instance variable, 0/2 class variable, 1/6 method documentedklara.core.node_classes.Compare
- Undocumentedklara.core.node_classes.Const
- No class docstring; 0/1 instance variable, 0/1 class variable, 1/5 method documentedklara.core.tree.infer_proxy.InferProxy
- No class docstring; 0/3 instance variable, 0/1 class variable, 1/14 method, 1/1 static method documentedklara.klara_z3.z3_nodes.Z3Proxy
- No class docstring; 0/1 instance variable, 2/12 methods, 0/1 class method documentedklara.core.node_classes.Dict
- Undocumentedklara.core.node_classes.Expr
- Undocumentedklara.core.node_classes.List
- Undocumentedklara.core.node_classes.NameConstant
- Undocumentedklara.core.node_classes.Set
- Undocumentedklara.core.node_classes.Tuple
- No class docstring; 0/1 instance variable, 0/2 class variable, 1/5 method, 0/1 static method documentedklara.core.node_classes.UnaryOp
- Undocumentedklara.core.node_classes.Variable
- mixin for variable relatedklara.core.node_classes.Alias
- No class docstring; 0/3 instance variable, 0/2 class variable, 1/9 method documentedklara.core.node_classes.Arg
- Undocumentedklara.core.node_classes.Attribute
- No class docstring; 0/5 instance variable, 0/2 class variable, 3/13 methods, 1/2 class method documentedklara.core.node_classes.AssignAttribute
- No class docstring; 0/4 instance variable, 0/2 class variable, 1/2 method documentedklara.core.node_classes.DelAttribute
- class for `del ins.attr`klara.core.node_classes.Name
- Class represents name (variable) that have ssa attributes (version) and use-def chainsklara.core.node_classes.AssignName
- class represents name that are being assigned to in Assign statementklara.core.node_classes.DelName
- class for representing `del var`klara.core.node_classes.Starred
- Undocumentedklara.core.node_classes.AssignStarred
- Undocumentedklara.core.node_classes.Subscript
- Undocumentedklara.core.node_classes.MultiLineBlock
klara.core.scoped_node_classes.ClassDef
- No class docstring; 0/7 instance variable, 0/2 class variable, 1/10 method documentedklara.core.scoped_node_classes.FunctionDef
- No class docstring; 1/1 property, 0/7 instance variable, 0/2 class variable, 6/12 methods documentedklara.core.scoped_node_classes.AsyncFunctionDef
- Undocumentedklara.core.scoped_node_classes.Module
- Class representing ast.Moduleklara.core.node_classes.Sequence
klara.core.scoped_node_classes.OverloadedFunc
- Class that represents @overload decorated FunctionDef. Contains list of overloaded functionklara.core.scoped_node_classes.FunctionMixin
- No class docstring; 2/2 methods documentedklara.core.scoped_node_classes.FunctionDef
- No class docstring; 1/1 property, 0/7 instance variable, 0/2 class variable, 6/12 methods documentedklara.core.scoped_node_classes.AsyncFunctionDef
- Undocumentedklara.core.scoped_node_classes.Lambda
- Undocumentedklara.core.scoped_node_classes.ScopeSsaMixin
- No class docstring; 1/1 method documentedklara.core.scoped_node_classes.ClassDef
- No class docstring; 0/7 instance variable, 0/2 class variable, 1/10 method documentedklara.core.scoped_node_classes.FunctionDef
- No class docstring; 1/1 property, 0/7 instance variable, 0/2 class variable, 6/12 methods documentedklara.core.scoped_node_classes.AsyncFunctionDef
- Undocumentedklara.core.ssa_visitors.AstVisitor
- Undocumentedklara.core.recipe.ClassInstanceBuilder
- build the class instance from constructor, attribute etc... and load it in all `self` arg.klara.contract.solver.ContractSolver
- No class docstring; 0/5 instance variable, 3/9 methods documentedklara.scripts.cover_gen_ins.solver.DepFinder
- For every class, assume the last FunctionDef is the top level method to call. And for every instance, only the top level method will be call. This means that we could safely assume that every instance has only the attributes coming from __init__ and the top level method.klara.scripts.cover_gen_ins.line_fix_solver.LineFix
- No class docstring; 0/1 instance variable, 1/6 method documentedklara.scripts.py_check.loop_solver.CalledFuncGetter
- Undocumentedklara.scripts.py_check.loop_solver.LoopDetector
- No class docstring; 0/2 instance variable, 1/6 method, 1/2 static method documentedklara.core.ssa.AttributeEnumerator
- No class docstring; 0/5 instance variable, 1/11 method, 0/1 static method documentedklara.core.ssa_visitors.AstAttrSeparator
- Separate all attr and organize them based on ctx. E.g., a.b = c.d will yield a -> Load a.b -> store c -> Load c.d -> Loadklara.core.ssa_visitors.NodeFinder
- Find any node given the function to matchklara.core.ssa_visitors.StatementExprExtractor
- Undocumentedklara.core.ssa_visitors.TargetRemover
- Remove any variable that has ast.Store() from provided stack_dictklara.core.ssa_visitors.VariableGetter
- get all variables (ast.name) from given node, separate by targets and valuesklara.core.use_def_chain.DefUseLinker
- link a variable to its definition including other scopeklara.scripts.py_check.fcf_solver.ComparisonAstSolver
- Undocumentedklara.scripts.py_check.fcf_solver.ComparisonSolver
- Undocumentedklara.core.transform.CustomTransform
- Recursively visit all node and apply transformationklara.core.tree_rewriter.AstBuilder
- Undocumentedklara.core.tree_rewriter.TreeRewriter
- No class docstring; 0/8 instance variable, 1/75 method documentedklara.core.protocols.StubTreeRewriter
- parse the stub file (.pyi) added related stub file syntax (e.g. @overload, @property, if sys.version etc.. Assumption: python version related stub must be declared as: if sys.version_info >= (3, ) with the operand must be a tuple constant...klara.core.utilities.SubsetTree
- construct a tree that start with the total subset, and children will be the subset of the parent node. In case where some set is subset to multiple node, it will insert to all of the nodes. Most of it is taken from: https://stackoverflow...klara.core.utilities.TempAttr
- Temporary set multiple attribute of an obj. Example: with TempAttr(node) as handler: handler.set_attr("temp", 2)klara.html.report.HtmlReporter
klara.core.html.report.InferHtmlReport
- No class docstring; 1/2 method documentedklara.klara_z3.html.report.CovAnalysisHtmlReport
- Undocumentedklara.scripts.py_check.html.report.PyCheckHtmlReport
- Undocumentedklara.klara_z3.html.report.Tokens
- Undocumentedklara.klara_z3.instance_collector.InstanceCollector
- No class docstring; 0/10 instance variable, 3/10 methods documentedklara.klara_z3.instance_collector.MSSSolver
- Code from:https://raw.githubusercontent.com/Z3Prover/z3/master/examples/python/mus/mss.py MIT licensed The following is a procedure for enumerating maximal satisfying subsets. It uses maximal resolution to eliminate cores from the state space...klara.scripts.py_check.fcf_solver.FloatWarningInTrace
- contain all warnings within 1 stack traceklara.scripts.py_check.fcf_solver.FrameInfo
- Undocumentedklara.scripts.py_check.fcf_solver.WarningItem
- Undocumentedklara.scripts.py_check.html.report.Tokens
- Undocumentedklara.scripts.py_check.terminal.TerminalFormatter
- No class docstring; 0/5 instance variable, 2/8 methods, 1/3 static method documentedlist
klara.core.cfg.BlockList
- Undocumentedklara.scripts.py_check.fcf_solver.StackSummary
- stack that contain FrameInfo as elementlogging.LoggerAdapter
klara.core.base_manager.FlowMsgAdapter
- Undocumentedobject
klara.core.bases.SsaBookKeeping
- No class docstring; 0/3 instance variable, 2/4 methods documentedklara.core.cfg.GetBlocks
- look for stmt that define the block edge and partition accordingly e.g. x = 1 if x: pass x = 3klara.core.cfg.RawBasicBlock
- No class docstring; 0/22 instance variable, 0/4 constant, 5/14 methods, 0/1 class method documentedklara.core.cfg.ParentScopeBlock
- Block that defined another scope within. E.g, def foo(): ---> ParentScopeBlock x = 1 ---> RawBasicBlockklara.core.cfg.ClassLabel
- Undocumentedklara.core.cfg.FunctionLabel
- Undocumentedklara.core.cfg.LambdaLabel
- An empty block just to able to set up nested lambdaklara.core.cfg.ModuleLabel
- Undocumentedklara.core.cfg.PhiStubBlock
- Block to force phi function at every scope, also forcing update var_version_list to latestklara.core.cfg.TempAssignBlock
- block for temporary assignment for FunctionDef/ClassDef for renaming purposeklara.core.context_mod.InferenceContext
- manages context for analyzing different scopeklara.core.inference.InferenceResult
- Object for every result to `node.infer()`klara.core.inference.MultiInferenceResult
- Merging of multiple inference result into oneklara.core.ssa.SsaCode
- No class docstring; 0/2 instance variable, 1/8 method documentedtype
klara.common.common.Singleton
- Undocumentedxml.etree.ElementTree.ElementTree
klara.core.utilities.ElementTreeRepr
- Override ElementTree with added str representation.