Misti

cli cli/cli cli/driver cli/options cli/result cli/types detectors/builtin/argCopyMutation detectors/builtin/asmIsUsed detectors/builtin/branchDuplicate detectors/builtin/cellBounds detectors/builtin/constantAddress detectors/builtin/divideBeforeMultiply detectors/builtin/dumpIsUsed detectors/builtin/duplicatedCondition detectors/builtin/duplicatedImport detectors/builtin/ensurePrgSeed detectors/builtin/etaLikeSimplifications detectors/builtin/exitCodeUsage detectors/builtin/falseCondition detectors/builtin/fieldDoubleInit detectors/builtin/implicitOpcode detectors/builtin/inheritedStateMutation detectors/builtin/neverAccessedVariables detectors/builtin/optimalMathFunction detectors/builtin/preferAugmentedAssign detectors/builtin/preferBinaryReceiver detectors/builtin/preferGlobalFunction detectors/builtin/preferredStdlibApi detectors/builtin/preferSenderFunction detectors/builtin/readOnlyVariables detectors/builtin/redundantBooleanExpression detectors/builtin/sendInLoop detectors/builtin/shortCircuitCondition detectors/builtin/stateMutationInGetter detectors/builtin/stringReceiversOverlap detectors/builtin/suboptimalCellOperation detectors/builtin/suboptimalSend detectors/builtin/suspiciousLoop detectors/builtin/suspiciousMessageMode detectors/builtin/transitiveImport detectors/builtin/unboundLoop detectors/builtin/unboundMap detectors/builtin/unprotectedCall detectors/builtin/unusedExpressionResult detectors/builtin/unusedMethodArgument detectors/builtin/unusedOptional detectors/builtin/zeroAddress detectors/detector index internals/annotation internals/config internals/context internals/exceptions internals/ir internals/ir/astStore internals/ir/builders internals/ir/builders/astStore internals/ir/builders/callgraph internals/ir/builders/imports internals/ir/builders/ir internals/ir/callGraph internals/ir/cfg internals/ir/imports internals/ir/indices internals/ir/ir internals/ir/types internals/lattice internals/lattice/common internals/lattice/interval internals/lattice/widening internals/logger internals/numbers internals/numbers/interval internals/numbers/num internals/quickfix internals/solver internals/solver/results internals/solver/solver internals/solver/souffle internals/solver/worklist internals/tact internals/tact/config internals/tact/constEval internals/tact/imports internals/tact/iterators internals/tact/parser internals/tact/stdlib internals/tact/types internals/tact/util internals/transfer internals/util internals/warnings main tools tools/dumpAst tools/dumpCallgraph tools/dumpCfg tools/dumpConfig tools/dumpImports tools/tool version version-info vfs/createNodeFileSystem vfs/createVirtualFileSystem vfs/virtualFileSystem