2 papers
cs.PL2022
Fluently specifying taint-flow queries with fluentTQL
Goran Piskachev, Johannes Späth, Ingo Budde +1
Previous work has shown that taint analyses are only useful if correctly customized to the context in which they are used. Existing domain-specific languages (DSLs) allow such cust…
cs.PL2019
Integration of the Static Analysis Results Interchange Format in CogniCrypt
Sriteja Kummita, Goran Piskachev
Background - Software companies increasingly rely on static analysis tools to detect potential bugs and security vulnerabilities in their software products. In the past decade, mor…