Inventor
CIFUENTES CRISTINA
AU3 patents
Patents
3 patentsUS11822459B2Nov 21, 2023
Automated function category detection
ORACLE INT CORP1 citations54
US11030304B2Jun 8, 2021
Buffer overflow detection based on a synthesis of assertions from templates and k-induction
ORACLE INT CORP1 citations53
US11204746B2Dec 21, 2021
Encoding dependencies in call graphs
ORACLE INT CORP0 citations46