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

关于archinfo的问题 #36

Open colinLH opened 8 months ago

colinLH commented 8 months ago

作者您好,代码的前端分析和基于Ghidra的input entries到sink functions路径的分析都能正确运行

但是在执行污点分析时遇到archinfo没有键的问题,这个是否有解决方案?附上报错点

截屏2024-01-11 14 34 15

对应satc.py 污点分析部分的代码报错

截屏2024-01-11 14 37 23