76 Commits

Author SHA1 Message Date
Duncan Ogilvie e1595bef32 Fix assertion using the wrong RemillArch for a module 2026-05-02 23:58:28 +02:00
Duncan Ogilvie 0c71152f69 Put artifacts in separate output folder 2026-05-02 23:56:59 +02:00
Colton1skees 43a850091c Push vmp devirt
Co-authored-by: name <37@cmail.nu>
2025-03-29 19:08:17 -04:00
Colton1skees c1a05a7591 Finish upgrade to LLVM17; Push the rest of the recompilation code; Modify LLVMSharp to use our re-exported LLVM-C api; Upgrade from .NET 7 to .NET 8; Fix some recompilation bugs; 2024-10-07 17:56:04 -04:00
Colton1skees df10a6d86e Add managed bindings for Remill and Souper; Upgrade to LLVM 17; Implement iterative control flow graph reconstruction, jump table solving, and recompilation; Many other changes 2024-09-27 07:01:01 -04:00
Colton1skees ee9d11f5eb clean up readme 2023-04-18 05:02:50 -05:00
Colton1skees 757bbdbc26 Benchmark performance 2023-04-18 04:57:27 -05:00
Colton1skees 2fa792213a Performance benchmarking 2023-04-05 22:42:47 -05:00
Colton1skees 4b9c3887d8 archive changes before testing new vm 2023-04-03 02:12:12 -05:00
Colton1skees f892c7d45d proper constant concretization 2023-04-01 23:27:26 -05:00
Colton1skees 6c49a4a6cb New constant concretization pass 2023-04-01 19:34:02 -05:00
Colton1skees 9dffaa96af Managed API for MemorySSA 2023-04-01 17:24:26 -05:00
Colton1skees 975971297e Managed loop API 2023-03-31 21:58:13 -05:00
Colton1skees 6c593da407 .NET LLVM pass for structuring control flow 2023-03-31 17:06:05 -05:00
Colton1skees dce946ae0b Managed LLVM bindings 2023-03-30 17:21:40 -05:00
Colton1skees 7dfac1071f structuring 2023-03-29 21:22:22 -05:00
Colton1skees aee2bf8752 Loop analysis 2023-03-28 17:51:17 -05:00
Colton1skees 322c326c9b troubleshooting 2023-03-28 13:04:02 -05:00
Colton1skees ca4d74db95 pattern match loop using alias analysis 2023-03-27 20:54:31 -05:00
Colton1skees c02e7a068b Upgrade LLVM 2023-03-27 19:06:13 -05:00
Colton1skees edd2b90ab4 pipeline troubleshooting 2023-03-27 16:42:16 -05:00
Colton1skees dba8e698a8 Troubleshooting 2023-03-27 11:33:57 -05:00
Colton1skees 3858106963 constant concretization troubleshooting 2023-03-26 15:06:26 -05:00
Colton1skees 14cc9a0da0 optimization 2023-03-25 22:06:29 -05:00
Colton1skees 6fae22cf43 cfg exploration 2023-03-25 19:54:13 -05:00
Colton1skees 2e977efc29 constant concretization 2023-03-25 18:57:31 -05:00
Colton1skees 2422cc6987 correct alias analysis 2023-03-25 16:59:19 -05:00
Colton1skees 96ff2f0386 Add helper routine for compiling & loading executables into IDA 2023-03-25 13:13:22 -05:00
Colton1skees 3f9eb3fc75 Refactoring 2023-03-25 10:46:54 -05:00
Colton1skees 4282f28b51 add goto free decompiler 2023-03-24 19:53:18 -05:00
Colton1skees 7f2578fe9f bug fixes 2023-03-24 19:01:40 -05:00
Colton1skees e464d7fd7d .NET structured control flow bindings 2023-03-24 18:25:46 -05:00
Colton1skees ead2f25374 Expose region API to .NET 2023-03-24 14:50:06 -05:00
Colton1skees 3360de9df0 Add decompiler 2023-03-24 13:21:39 -05:00
Colton1skees 9fca7d82c3 proper alias analysis 2023-03-22 10:03:03 -05:00
Colton1skees b0ef510b9d alias analysis issues 2023-03-22 09:33:22 -05:00
Colton1skees 35dcc1f0cc code cleanup 2023-03-20 01:11:04 -05:00
Colton1skees 6a278e7617 Add pass to enhance llvm alias analysis 2023-03-20 00:26:50 -05:00
Colton1skees ef3491bfd0 Improvements to LLVM IR -> triton IR translator 2023-03-19 02:27:27 -05:00
Colton1skees f330e7d485 Add translator from LLVM IR to TIR 2023-03-19 00:27:51 -05:00
Colton1skees 96f35fd3d2 Correctness improvements 2023-03-14 01:59:32 -05:00
Colton1skees 01888aaa49 Validate semantics 2023-03-13 01:43:53 -05:00
Colton1skees 9f5d74afe6 semantic difference check with unicorn engine 2023-03-11 01:13:07 -06:00
Colton1skees 089535de4f Handle symbolic memory 2023-03-10 17:43:37 -06:00
Colton1skees 5a8c3ca257 Update symbolic execution engine 2023-03-10 17:21:13 -06:00
Colton1skees c655348ca9 fix llvm memory model 2023-03-05 20:45:21 -06:00
Colton1skees e38b9278ac Emulate through obfuscated function 2023-03-05 12:38:58 -06:00
Colton1skees f8630ba0a8 ELF integration 2023-03-04 16:57:21 -06:00
Colton1skees f8bd72bcdd Create C++ module for interop with llvm 2023-03-04 14:44:58 -06:00
Colton1skees 6111bb20c5 Unicorn segmentation 2023-03-03 19:35:01 -06:00