This commit is contained in:
Geoffrey White 2020-02-21 17:23:08 +00:00
Родитель 9c06c48dc7
Коммит e6d35d314d
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -267,7 +267,7 @@ private predicate modelTaintToParameter(Function f, int parameterIn, int paramet
/** /**
* Holds if `chi` is on the chain of chi-instructions for all aliased memory. * Holds if `chi` is on the chain of chi-instructions for all aliased memory.
* Taint shoud not pass through these instructions since they tend to mix up * Taint should not pass through these instructions since they tend to mix up
* unrelated objects. * unrelated objects.
*/ */
private predicate isChiForAllAliasedMemory(Instruction instr) { private predicate isChiForAllAliasedMemory(Instruction instr) {