Zipr Toolchain merge requestshttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests2023-10-23T14:52:40Zhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/47Improve jump table detection and debugging output2023-10-23T14:52:40ZLeon WeissImprove jump table detection and debugging outputThis merge request got rather convoluted and I'm aware that this is not best practice. If you want to, I can split it up into multiple smaller ones.
The main part of this merge request is a logic change in the backward search that allow...This merge request got rather convoluted and I'm aware that this is not best practice. If you want to, I can split it up into multiple smaller ones.
The main part of this merge request is a logic change in the backward search that allows accounting for register renames from bounds check until use as index register. This tackles some of the jump table constructs previously documented as "not-handled"
f8a662f7ea1c5afec710845ea14e97e4191cb7a0 increases the maximum size used for clamping jump tables and 00917f1f752ff58d3c5f87db277cb3487021da46 adds the env variable `MAX_JUMP_TABLE_CLAMP_SIZE` to adjust this parameter as needed.
Commits 5f5d3169f7ae5bc23a2dd9d5d11f29a5bdcb8516, d434b06bfadf8fc805bf0d1f3fdede15922c7671, 9e3f3356c420bb4c47d2455cefee9f0840e2cb6d, 995ed4209c11422617c7227018ebfa90a437497a, 01262f752d128fb5396a24400faaddcc45453692, 5cf6ffa993ece14d6d61406d9fcf6a34ebfa8632 and 1e2bddd9eca598039e47799dfd17d6d2b353f9e0 include general fixes. If you want to, I can move them into a different merge request
c0e08b6c238f44055595a7fffd25e653a96af15c implements the functions added to IRDB-SDK in opensrc/irdb-sdk!4Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/46Resolve "update support for shen-23 runners"2023-08-24T17:26:48ZJason Hiserjdhiser@gmail.comResolve "update support for shen-23 runners"Closes #24Closes #24Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/45Fix issue with ldrd handling where op[1] assumed memory if isPcrel.2023-06-08T19:24:37ZJason Hiserjdhiser@gmail.comFix issue with ldrd handling where op[1] assumed memory if isPcrel.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/44Convert CI to idapro 8.22023-05-31T02:21:13ZJason Hiserjdhiser@gmail.comConvert CI to idapro 8.2Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/43Add libc test2023-04-03T20:38:52ZJason Hiserjdhiser@gmail.comAdd libc testCloses #23Closes #23Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/41make backup_util search harder for 2nd instruction in list due to bug in xsv2023-02-17T14:38:29ZJason Hiserjdhiser@gmail.commake backup_util search harder for 2nd instruction in list due to bug in xsvJason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/40Fix issue relating to a cmp/jne not being a bounds check for a switch table2023-02-13T18:16:28ZJason Hiserjdhiser@gmail.comFix issue relating to a cmp/jne not being a bounds check for a switch tableJason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/39Add hangman to test suite to support it being fuzzed in zafl.2023-02-09T16:22:17ZJason Hiserjdhiser@gmail.comAdd hangman to test suite to support it being fuzzed in zafl.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/38Go support2023-02-02T09:12:56ZJason Hiserjdhiser@gmail.comGo supportJason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/37Update write to DB sanity checks to make sure direct calls don't have a targe...2023-01-10T04:44:35ZJason Hiserjdhiser@gmail.comUpdate write to DB sanity checks to make sure direct calls don't have a target set.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/36Update libEHP to test for update of ELFIO.2023-01-09T15:25:08ZJason Hiserjdhiser@gmail.comUpdate libEHP to test for update of ELFIO.Update to use CentOS Stream 9, intead of CentOS 7.6Update to use CentOS Stream 9, intead of CentOS 7.6Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/35Sanity-check setTarget for Call instructions before IRDB write back.2022-11-10T14:45:53ZJason Hiserjdhiser@gmail.comSanity-check setTarget for Call instructions before IRDB write back.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/34Sync zipr with SMPStaticAnalyzer branch to fix crash in kill_deads.2022-08-21T01:27:25ZClark ColemanSync zipr with SMPStaticAnalyzer branch to fix crash in kill_deads.Identically named branches for zipr and SMPStaticAnalyzer (branch names infinite_loop_fix) need to be tested and merged to solve SMPStaticAnalyzer issue 34.Identically named branches for zipr and SMPStaticAnalyzer (branch names infinite_loop_fix) need to be tested and merged to solve SMPStaticAnalyzer issue 34.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/33Resolve "Objdump/Zipr incompatibility"2022-08-05T15:28:40ZJason Hiserjdhiser@gmail.comResolve "Objdump/Zipr incompatibility"Closes #14Closes #14Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/32Found un-init memory reads in instruction disassembly2022-07-28T14:23:37ZJason Hiserjdhiser@gmail.comFound un-init memory reads in instruction disassemblyJason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/31Debug palignr22022-07-19T12:41:53ZClark ColemanDebug palignr2After regression, merge debug_palignr2 branch into zipr master branch to include all fixes for the capstone problems observed with read/write status on immediate operands in palignr opcode instructions.
This should closes issue #20After regression, merge debug_palignr2 branch into zipr master branch to include all fixes for the capstone problems observed with read/write status on immediate operands in palignr opcode instructions.
This should closes issue #20Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/30Fix issue in move-globals related to .tdata and .tbss2022-07-07T12:56:09ZJason Hiserjdhiser@gmail.comFix issue in move-globals related to .tdata and .tbssMove-globals assumed scoops are non-overlapping. Since .tbss
is a NOBITs section, it's addresses overlap with the next section's address.
These addresses are preserved so the TLS data is maintained properly.
Move globals had a data st...Move-globals assumed scoops are non-overlapping. Since .tbss
is a NOBITs section, it's addresses overlap with the next section's address.
These addresses are preserved so the TLS data is maintained properly.
Move globals had a data structure that was misbehaving because the input
assumsion was non-overlapping scoops, causing errors.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/29submod2022-06-21T12:26:05ZJason Hiserjdhiser@gmail.comsubmodJason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/28Fix unpinner assumption that target only in one table.2022-05-23T12:01:35ZJason Hiserjdhiser@gmail.comFix unpinner assumption that target only in one table.Address issue with one table being unpinned, and another table not being
unpinned.Address issue with one table being unpinned, and another table not being
unpinned.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.comhttps://git.zephyr-software.com/opensrc/zipr/-/merge_requests/27Update to fix calls for exception handling.2022-05-08T21:25:41ZJason Hiserjdhiser@gmail.comUpdate to fix calls for exception handling.Fixed calls break exception handling, and largely aren't needed anymore.
We were still "fixing" calls when it had no fallthrough instruction,
assuming the call is used for something else. Except that sometimes a
"call _cxa_throw" ends a...Fixed calls break exception handling, and largely aren't needed anymore.
We were still "fixing" calls when it had no fallthrough instruction,
assuming the call is used for something else. Except that sometimes a
"call _cxa_throw" ends a function/section and legitimately has no
fallthrough. And this breaks the exception handling.
Testing this fix against the Zipr test suite to verify that it is OK
on a large suite of programs.Jason Hiserjdhiser@gmail.comJason Hiserjdhiser@gmail.com