activity
20202026
most citedA Deep Dive on the Impact of COVID-19 in Software Development

49 citations · 49 across the 4 of their papers we have counts for

collaborators
Showing 2026 · cs.SEShow all

1 paper · 2 filters

cs.SE2026

Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis

Felipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto +3

We study how security patches in highly configurable C/C++ systems map onto the space of compile-time variants. We formalize the Vulnerability Impact Condition (VIC) - a Boolean pr…