Detecting API missing-check bugs through complete cross checking of erroneous returns (Q6134034)
From MaRDI portal
scientific article; zbMATH DE number 7730532
Language | Label | Description | Also known as |
---|---|---|---|
English | Detecting API missing-check bugs through complete cross checking of erroneous returns |
scientific article; zbMATH DE number 7730532 |
Statements
Detecting API missing-check bugs through complete cross checking of erroneous returns (English)
0 references
21 August 2023
0 references
missing-check bugs
0 references
static analysis
0 references
cross-checking
0 references