Patent ID: 11947677
Assignee: ORACLE INTERNATIONAL CORPORATION
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 5:
6. The method of claim 1, further comprising:
determining that a second non-constant value of a second variable corresponding to a second variable node in the abstract syntax tree flows into a second operator node in the abstract syntax tree, wherein the second non-constant value has a first type; and
adding, to the abstract syntax tree, a second check taint node comprising functionality to:
make a second taint status determination that the second non-constant value is tainted,
detect an implicit call to a function to convert the second non-constant value to a second type,
send the second non-constant value to the function, wherein the function generates a converted value having the second type using the second non-constant value, and
return the converted value to the second operator node in the abstract syntax tree, wherein the second operator node generates a second result value by executing a second operator using the converted value.