ghidra icon indicating copy to clipboard operation
ghidra copied to clipboard

[doc]: fix semantic statement for pcode CALL

Open dingiso opened this issue 2 years ago • 1 comments

The original semantic statement of CALL is

call [input0]

It is incorrect because the input0 is a varnode which contains the direct address instead of indirect.

So I change it to

call input0

to fix it.

The modified version will correct it and differentiate from the CALLIND whose input0 is an indirect address, which should use "[]"

dingiso avatar Apr 26 '23 11:04 dingiso

Hi ghidra maintainers: Are there any updates ? Best regards, dingisoul

dingiso avatar Dec 25 '23 04:12 dingiso