SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs.

Jiang Zhang Shuai Wang Manuel Rigger Pinjia He Zhendong Su

Published in: OSDI (2021)

Keyphrases

automatic programming
real time
neural network
intermediate level
control structures
database
real world
machine learning
artificial intelligence
search engine
web pages
image processing
logic programs
significantly reduced
programming environment
fixpoint