search

KeenSecurityLab / BinAbsInspector

BinAbsInspector: Vulnerability Scanner for Binaries
GNU General Public License v3.0
1.58k stars 231 forks source link

some mistakes occured when i analysize a stackoverflow file #31

Closed MuRKuo closed 2 years ago

MuRKuo commented 2 years ago

图片

MuRKuo commented 2 years ago

Could not initialize class com.microsoft.z3.Native java.lang.NoClassDefFoundError: Could not initialize class com.microsoft.z3.Native at com.microsoft.z3.Context.(Context.java:42) at com.bai.util.Utils.checkZ3Installation(Utils.java:307) at BinAbsInspector.run(BinAbsInspector.java:136) at ghidra.app.script.GhidraScript.executeNormal(GhidraScript.java:379) at ghidra.app.script.GhidraScript.doExecute(GhidraScript.java:234) at ghidra.app.script.GhidraScript.execute(GhidraScript.java:212) at ghidra.app.plugin.core.script.RunScriptTask.run(RunScriptTask.java:47) at ghidra.util.task.Task.monitoredRun(Task.java:134) at ghidra.util.task.TaskRunner.lambda$startTaskThread$0(TaskRunner.java:106) at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128) at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628) at java.base/java.lang.Thread.run(Thread.java:834)

Build Date: 2022-Apr-21 1210 EDT Ghidra Version: 10.1.3 Java Home: C:\tools9527\tools\java\java11 JVM Version: Oracle Corporation 11.0.7 OS: Windows 10 10.0 amd64 Workstation: DESKTOP-T7GJSKA

MatthewShao commented 2 years ago

The error message indicated that you did not install z3 solver dependency correctly. Please refer to https://github.com/KeenSecurityLab/BinAbsInspector#installation. Besides, our release was only tested on Ghidra 10.1.2, not sure if it can work properly on 10.1.3.