<?xml version="1.0" encoding="UTF-8"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:news="http://www.google.com/schemas/sitemap-news/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:image="http://www.google.com/schemas/sitemap-image/1.1" xmlns:video="http://www.google.com/schemas/sitemap-video/1.1"><url><loc>https://nowarp.io/api/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/archive</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/authors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/compiler-testing-part-1</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/skry</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/compilers</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/compilers-testing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/ethereum</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/fuzzing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/llm</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/move</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/skry</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/static-analysis</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/sui</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/tags/ton</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/blog/ton-security-risks</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/markdown-page</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/search</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/scanner</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/ArgCopyMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/AsmIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/BranchDuplicate</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/CellBounds</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/ConstantAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/DivideBeforeMultiply</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/DumpIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/DuplicatedCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/EnsurePrgSeed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/EtaLikeSimplifications</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/ExitCodeUsage</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/FalseCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/FieldDoubleInit</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/InheritedStateMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/NeverAccessedVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/OptimalMathFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/PreferAugmentedAssign</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/PreferredStdlibApi</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/ReadOnlyVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/SendInLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/ShortCircuitCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/StateMutationInGetter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/StringReceiversOverlap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/SuspiciousLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/SuspiciousMessageMode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/UnboundLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/UnboundMap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/UnprotectedCall</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/UnusedExpressionResult</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/UnusedOptional</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/detectors/ZeroAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/hacking/contributing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/hacking/custom-detector</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/hacking/design</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/hacking/developing-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/hacking/souffle</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tools</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tools/DumpAst</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tools/DumpCallGraph</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tools/DumpCfg</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tools/DumpConfig</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tools/DumpImports</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tutorial/blueprint</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tutorial/ci-cd</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tutorial/cli</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tutorial/configuration</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.7/tutorial/getting-started</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ArgCopyMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/AsmIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/BranchDuplicate</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/CellBounds</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ConstantAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/DivideBeforeMultiply</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/DumpIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/DuplicatedCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/EnsurePrgSeed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/EtaLikeSimplifications</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ExitCodeUsage</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/FalseCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/FieldDoubleInit</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ImplicitOpcode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/InheritedStateMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/NeverAccessedVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/OptimalMathFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/PreferAugmentedAssign</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/PreferBinaryReceiver</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/PreferDeploy</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/PreferredStdlibApi</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/PreferSenderFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ReadOnlyVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/SendInLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ShortCircuitCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/StateMutationInGetter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/StringReceiversOverlap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/SuboptimalCellOperation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/SuboptimalSend</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/SuspiciousLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/SuspiciousMessageMode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/UnboundLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/UnboundMap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/UnprotectedCall</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/UnusedExpressionResult</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/UnusedOptional</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/detectors/ZeroAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/hacking/contributing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/hacking/custom-detector</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/hacking/design</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/hacking/developing-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/hacking/integrating-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/hacking/souffle</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tools</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tools/DumpAst</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tools/DumpCallGraph</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tools/DumpCfg</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tools/DumpConfig</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tools/DumpImports</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tutorial/blueprint</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tutorial/ci-cd</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tutorial/cli</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tutorial/configuration</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/0.8/tutorial/getting-started</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ArgCopyMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/AsmIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/BranchDuplicate</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/CellBounds</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ConstantAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/DivideBeforeMultiply</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/DumpIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/DuplicatedCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/DuplicatedImport</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/EnsurePrgSeed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/EtaLikeSimplifications</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ExitCodeUsage</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/FalseCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/FieldDoubleInit</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ImplicitOpcode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/InheritedStateMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/NeverAccessedVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/OptimalMathFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/PreferAugmentedAssign</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/PreferBinaryReceiver</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/PreferDeploy</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/PreferGlobalFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/PreferredStdlibApi</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/PreferSenderFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ReadOnlyVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/RedundantBooleanExpression</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/SendInLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ShortCircuitCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/StateMutationInGetter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/StringReceiversOverlap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/SuboptimalCellOperation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/SuboptimalSend</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/SuspiciousLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/SuspiciousMessageMode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/SuspiciousUnary</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/TransitiveImport</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/UnboundLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/UnboundMap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/UnprotectedCall</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/UnusedExpressionResult</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/UnusedMethodArgument</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/UnusedOptional</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/detectors/ZeroAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/contributing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/custom-detector</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/custom-tool</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/design</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/developing-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/integrating-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/hacking/souffle</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tools</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tools/DumpAst</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tools/DumpCallGraph</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tools/DumpCfg</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tools/DumpConfig</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tools/DumpImports</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tutorial/blueprint</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tutorial/ci-cd</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tutorial/cli</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tutorial/configuration</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/next/tutorial/getting-started</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ArgCopyMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/AsmIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/BranchDuplicate</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/CellBounds</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ConstantAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/DivideBeforeMultiply</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/DumpIsUsed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/DuplicatedCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/DuplicatedImport</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/EnsurePrgSeed</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/EtaLikeSimplifications</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ExitCodeUsage</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/FalseCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/FieldDoubleInit</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ImplicitOpcode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/InheritedStateMutation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/NeverAccessedVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/OptimalMathFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/PreferAugmentedAssign</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/PreferBinaryReceiver</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/PreferDeploy</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/PreferGlobalFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/PreferredStdlibApi</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/PreferSenderFunction</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ReadOnlyVariables</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/RedundantBooleanExpression</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/SendInLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ShortCircuitCondition</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/StateMutationInGetter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/StringReceiversOverlap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/SuboptimalCellOperation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/SuboptimalSend</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/SuspiciousLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/SuspiciousMessageMode</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/TransitiveImport</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/UnboundLoop</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/UnboundMap</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/UnprotectedCall</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/UnusedExpressionResult</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/UnusedMethodArgument</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/UnusedOptional</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/detectors/ZeroAddress</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/contributing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/custom-detector</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/custom-tool</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/design</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/developing-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/integrating-misti</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/hacking/souffle</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tools</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tools/DumpAst</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tools/DumpCallGraph</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tools/DumpCfg</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tools/DumpConfig</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tools/DumpImports</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tutorial/blueprint</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tutorial/ci-cd</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tutorial/cli</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tutorial/configuration</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/tools/misti/docs/tutorial/getting-started</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://nowarp.io/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url></urlset>