Soufflé | Soufflé • A Datalog Synthesis Tool for Static Analysis
Datalog#programming#language#Datalog#logic#declarative#C++#open source#License: UPL-1.0#static#analysisDatalog#programming#language#Datalog#logic#declarative#C++#open source#License: UPL-1.0#static#analysisScallop