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.
Traceback (most recent call last):
File "satc.py", line 310, in <module>
main()
File "satc.py", line 301, in main
taint_stain_analysis(bin_path, ghidra_result, args.output)
File "/home/satc/SaTC/taint_check/main.py", line 133, in taint_stain_analysis
proj = angr.Project(binary, auto_load_libs=False, use_sim_procedures=True)
File "/home/satc/deps/angr-dev/angr/angr/project.py", line 154, in __init__
self.loader = cle.Loader(self.filename, **load_options)
File "/home/satc/deps/angr-dev/cle/cle/loader.py", line 124, in __init__
self.initial_load_objects = self._internal_load(main_binary, *force_load_libs)
File "/home/satc/deps/angr-dev/cle/cle/loader.py", line 475, in _internal_load
main_obj = self._load_object_isolated(main_spec)
File "/home/satc/deps/angr-dev/cle/cle/loader.py", line 569, in _load_object_isolated
return backend_cls(full_spec, is_main_bin=self.main_object is None, loader=self, **options)
File "/home/satc/deps/angr-dev/cle/cle/backends/elf/elf.py", line 114, in __init__
self._load_plt()
File "/home/satc/deps/angr-dev/cle/cle/backends/elf/metaelf.py", line 200, in _load_plt
guessed_addr = plt_sec.vaddr
AttributeError: 'NoneType' object has no attribute 'vaddr'
运行命令
貌似分析mips架构都会出现这个问题?求解如何修复。