smlXL

smlXL is building proprietary techniques to leverage blockchain's determinism and transparency for rigorous analysis of EVM bytecode and contracts. Combining static and dynamic analysis, symbolic execution, instrumentation, and simulation to provide a complete and rich understanding of accounts, contracts, and their rich relationships and a computing infrastructure to work alongside it. The simulation-based approach differs from other players in the space who have defaulted to indexing logs and events and relying on manual curation as, Similar to how now obsolete search engines indexed sitemaps, tags, and human-curated taxonomies and directories alone.