JS: review fixups in documentation

This commit is contained in:
Esben Sparre Andreasen
2018-08-20 15:12:52 +02:00
parent 19e5db75a3
commit 605695e117
3 changed files with 7 additions and 9 deletions

View File

@@ -185,9 +185,7 @@ predicate isInitialParameterUse(Expr e) {
/**
* Holds if `e` is an expression that should not be considered in a heterogeneous comparison.
*
* We currently whitelist these kinds of expressions:
*
* - parameters, as passed in from the caller
* We currently whitelist expressions that rely on inter-procedural parameter information.
*/
predicate whitelist(Expr e) {
isInitialParameterUse(e)