mirror/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-09-28 17:11:11 -09:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/GP-6787_Dan_emulateFunction--SQUASHED'

Browse Source
This commit is contained in:
Ryan Kurtz
2026-07-01 14:30:09 -04:00
parent 36ddc884aa 427d857d51
commit 76e768a06e
97 changed files with 5383 additions and 1158 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
Ghidra/Extensions/SymbolicSummaryZ3/src/main/java/ghidra/pcode/emu/symz3/state/SymZ3PieceHandler.java
View File

@@ -26,8 +26,8 @@ import ghidra.pcode.exec.PcodeArithmetic.Purpose;
import ghidra.pcode.exec.PcodeExecutorStatePiece;
import ghidra.pcode.exec.PcodeExecutorStatePiece.Reason;
import ghidra.pcode.exec.trace.TraceEmulationIntegration.AbstractPropertyBasedPieceHandler;
import ghidra.pcode.exec.trace.data.PcodeTraceDataAccess;
import ghidra.pcode.exec.trace.data.PcodeTracePropertyAccess;
import ghidra.pcode.exec.trace.TraceEmulationIntegration.TraceWriter;
import ghidra.pcode.exec.trace.data.*;
import ghidra.program.model.address.*;
import ghidra.symz3.model.SymValueZ3;
@@ -105,9 +105,9 @@ public class SymZ3PieceHandler
}
@Override
public void writeDown(PcodeTraceDataAccess into, PcodeThread<?> thread,
public void writeDown(TraceWriter writer, PcodeTraceAccess into, PcodeThread<?> thread,
PcodeExecutorStatePiece<SymValueZ3, SymValueZ3> piece, AddressSetView written) {
super.writeDown(into, thread, piece, written);
super.writeDown(writer, into, thread, piece, written);
Set<SymZ3Varnode> symWritten = abstractWritten.get(thread);
if (symWritten == null) {
return;
@@ -128,7 +128,9 @@ public class SymZ3PieceHandler
* abstractly?
*/
String val = buf.isEmpty() ? null : buf.toString();
into.getPropertyAccess(NAME, String.class).put(Address.NO_ADDRESS, val);
into.getDataForSharedState()
.getPropertyAccess(NAME, String.class)
.put(Address.NO_ADDRESS, val);
}
@Override