Verifying the Verifier: eBPF Range Analysis Verification.

Harishankar Vishwanathan Matan Shachnai Srinivas Narayana Santosh Nagarakatte

Published in: CAV (3) (2023)

Keyphrases

real time
data mining
data analysis
statistical analysis
formal analysis
data sets
genetic algorithm
wide range
relational databases
quantitative analysis
static analysis