HIDVEGI ZOLTAN TIBOR

Identifying security vulnerabilities using modeled attribute propagation