search

NSSL-SJTU / SaTC

A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnerabilities.
274 stars 48 forks source link

TypeError in taint_check #3

Closed Cossack9989 closed 3 years ago

Cossack9989 commented 3 years ago

image What I use is V1.0 docker image of SaTC

harden614 commented 3 years ago

我也是出在summary_function 不过不是这个错

Cossack9989 commented 3 years ago

大概浏览了一下，可能是snprintf读第二个参数的时候读进来了False而不是字符串？

smile0304 commented 3 years ago

这个问题不会影响分析的结果。忽略就好