Tag abstract interpretation

1 Time 1 Work 1 Member 2 Aliases 2 Translations

Tagged Works

  • List
SortCountWeightedPopular
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
1
show moreshow less

Using the Tag

henny (1)

Aliases and Translations

Includes: abstract interpretation, Abstract interpretation
Translations: Abstrakte Interpretation, Interprétation abstraite