3 ms·
From the site: Soufflé provides the ability to rapid prototype and make deep design space explorations possible. A wide range of applications have been impleme
by xrayarx 4y ago
From the site:
Soufflé provides the ability to rapid prototype and make deep design space explorations possible. A wide range of applications have been implemented in the Soufflé language, e.g., static program analysis for Java DOOP, parallelizing compiler framework Insieme, binary disassembler DDISASM, security analysis for cloud computing, and security analysis for smart contracts Gigahorse, Securify, Secuify V2.0, VANDAL.