BinaryAnalysisPlatform / bap

Binary Analysis Platform
MIT License
2.07k stars 273 forks source link

enables BIR subroutines without an explicit return #1482

Closed ivg closed 2 years ago

ivg commented 2 years ago

So far, the Primus Lisp interpreter was requiring that all subroutines had to pass the control to the caller with an explicit jmp term. This was a fair requirement for the disassembled subroutines but is a nuisance for intrinsic subroutines. To make writing intrinsics easier, this requirement is lifted.