Commit Graph

  • 486e338578 remove unused var names 2over12 2022-08-15 14:01:19 -04:00
  • 99d99e8643 move virtual inheritance down 2over12 2022-08-15 13:50:27 -04:00
  • e5557986a4 decoding context documentation: 2over12 2022-08-15 13:18:33 -04:00
  • bd7b8b2285 expose cache clearing for operand lifter 2over12 2022-08-15 11:32:58 -04:00
  • 7374a5bdb4 add helper for uniform mappings 2over12 2022-08-15 10:51:04 -04:00
  • 89a26873fd make function const 2over12 2022-08-15 10:28:13 -04:00
  • 81ebb2b91e add include 2over12 2022-08-15 08:37:19 -04:00
  • 49af716ab2 add empty contexts 2over12 2022-08-15 08:18:14 -04:00
  • 854c73e06a Ian/instruction carry lifter (#615) 2over12 2022-08-12 11:57:45 -04:00
  • 5f79f40d62 Merge pull request #614 from lifting-bits/will/fix-z3-version irene2-final Ninja3047 2022-08-08 11:58:12 -04:00
  • 9ea5a65f3e Fix typo when parsing z3 version from headers William Tan 2022-08-08 10:39:47 -04:00
  • 5d37ef9694 fixes ian/arch_groupings 2over12 2022-08-08 10:13:20 -04:00
  • 19249a401c add specs 2over12 2022-08-02 13:48:41 -04:00
  • 81f5f96ebb Prevent the instruction category from being overwritten after a fused call/pop has been recognised (#612) v5.0.5 Alex Cameron 2022-07-29 03:37:22 +10:00
  • eef338df00 Ian/sleigh support rebased (#607) 2over12 2022-07-28 08:46:32 -04:00
  • 66ef46be8a Remove compatibility for LLVM < 14 (#606) Alex Cameron 2022-06-29 00:21:54 +10:00
  • 65549b31d3 Pass opaque pointer flag to Clang so it can handle Remill's IR (#605) Alex Cameron 2022-06-28 02:48:02 +10:00
  • 6873a4c33a Support opaque pointers Alex Cameron 2022-06-27 15:41:23 +10:00
  • 385150a857 Move state and register window globals into Intrinsics.cpp Alex Cameron 2022-06-24 21:43:17 +10:00
  • 1a7ccbbb7b Stop testing with LLVM 13 since we're not aiming to be backwards compatible Alex Cameron 2022-06-24 14:14:31 +10:00
  • 752ddf3ec0 Enable opaque pointers in each spot where we make an LLVM context Alex Cameron 2022-06-24 14:01:40 +10:00
  • 669166d572 Retrieve types properly from missing cases in FindVarInFunction Alex Cameron 2022-06-23 22:11:32 +10:00
  • 67c5fd064f Add Arch::RegisterWindowType to avoid searching by struct name Alex Cameron 2022-06-23 03:00:31 +10:00
  • 20bc423b7a Get state type from __remill_state variable instead of searching by type name Alex Cameron 2022-06-23 02:36:34 +10:00
  • 7fdcb510f2 Propagate underlying type from LoadRegAddress Alex Cameron 2022-06-23 01:48:29 +10:00
  • e9c9af1efa Revert "Deprecate Arch::StatePointerType" Alex Cameron 2022-06-22 22:50:28 +10:00
  • ba4429a30e Move state type check Alex Cameron 2022-06-22 22:50:06 +10:00
  • 4cc82534b6 Deprecate Arch::StatePointerType Alex Cameron 2022-06-21 15:42:35 +10:00
  • e266fa93ee Refine APIs Alex Cameron 2022-06-21 11:32:32 +10:00
  • 080969e0b0 Simplify BuildPointerToOffset to index at byte granularity rather than using underlying element size Alex Cameron 2022-06-21 10:15:45 +10:00
  • 05df435aa3 Merge remote-tracking branch 'origin/master' into alex/opaque-ptr Alex Cameron 2022-06-09 14:14:06 +10:00
  • 43cfa8c642 Ian/fix remill git checkout ci (#600) v5.0.4 2over12 2022-06-08 15:52:48 -04:00
  • 81478b4dbe Add LLVM 14 to CI (#598) v5.0.3 Alex Cameron 2022-06-08 07:07:13 +10:00
  • 9b05e6f3ad Fix SSE Instructions for XED v2022.04.17 (#597) 2over12 2022-06-04 10:36:34 -04:00
  • e3b43d1419 Remove more usages of PointerElementType Alex Cameron 2022-06-02 19:44:38 +10:00
  • 36ff255ea4 Reword comment Alex Cameron 2022-05-31 21:19:26 +10:00
  • 056be957a0 More fixes Alex Cameron 2022-05-31 21:17:45 +10:00
  • fd82a20a20 WIP to support opaque pointers Alex Cameron 2022-05-31 12:40:11 +10:00
  • 85d287c4f8 Implement a bunch of missing AVX instructions (#595) Duncan Ogilvie 2022-05-18 23:38:57 +02:00
  • d48df5e6be bc: Remove compat methods from CallSite that handled InvokeInst. (#594) lkorenc 2022-05-18 16:37:31 +02:00
  • 3cf6d41d6f removes ambigous utility function (#593) 2over12 2022-05-11 12:54:06 -04:00
  • f56c2dd36a Fix LLVM 14 related warnings. (#591) Henrich Lauko 2022-05-05 19:33:13 +02:00
  • 5563adad01 LLVM 14 compatibility (#589) Eric Kilmer 2022-04-19 17:38:35 -04:00
  • 850d48fc53 CHange allow 32 bit shift to true, not sure if valid but oh well ian/demo_xrefs_magnifier Peter Goodman 2022-04-14 14:31:10 -04:00
  • 8cbb0abd66 Merge pull request #588 from lifting-bits/remove_gflags lkorenc 2022-04-14 20:30:56 +02:00
  • e91f18e059 Remove Ubuntu 18.04 Eric Kilmer 2022-04-14 14:07:51 -04:00
  • 1501f02c04 CI: Install g++-8 on ubuntu to get access to std::filesystem. Lukas Korencik 2022-04-14 19:44:35 +02:00
  • df7e433600 bin:lift: Reflect change in IntrinsicTable ctors. Lukas Korencik 2022-04-14 17:49:25 +02:00
  • 5c8cf43a7c bc:util: Add VerifyModuleMsg function. Lukas Korencik 2022-04-12 15:40:18 +02:00
  • 2dd2746470 bc:util: Deprecate api of LoadModuleFromFile, add one with filesystem::path. Lukas Korencik 2022-04-12 14:52:25 +02:00
  • e24f934bef bc:util: Use std::filesystem::path in place of std::string in some apis. Lukas Korencik 2022-04-12 14:50:53 +02:00
  • c8e058c8f4 test: Reflect changes in remill api. Lukas Korencik 2022-04-12 14:23:02 +02:00
  • 4bb7c9363b switch back to x86 normal 2over12 2022-04-13 12:34:11 -04:00
  • e2c8efea4a fix fallthrough for ind calls 2over12 2022-04-11 17:34:02 -04:00
  • 2fca167dc7 set function insns with mnemonic 2over12 2022-04-11 14:37:36 -04:00
  • c4e34b5ec7 stop lying about insn categories/functions 2over12 2022-04-11 13:44:40 -04:00
  • 3c06d00d69 bin:lift: Reflect changes in remill API. Lukas Korencik 2022-04-10 20:56:17 +02:00
  • 5e46858e84 treewide: Remove arch, os command line flags. Lukas Korencik 2022-04-10 20:55:43 +02:00
  • 0923f6e120 bc:util: Add missing implementation of LoadArchSemantics overload. Lukas Korencik 2022-04-10 20:54:14 +02:00
  • 6cf9cfa79e bc:util: No longer use arch cmd flag in Util.cpp. Lukas Korencik 2022-04-10 19:50:48 +02:00
  • 0af8362dcc bc:util: Remove semantics_search_path command line flag. Lukas Korencik 2022-04-10 19:50:06 +02:00
  • 21c11ab459 bc:util: Change message that semantics are being loaded from LOG to DLOG. Lukas Korencik 2022-04-10 19:47:48 +02:00
  • b8ce780688 bc:util: Add missing documentation. Lukas Korencik 2022-04-10 19:47:03 +02:00
  • 2994ecc5c3 bc:util: Add search path argument to LoadArchSemantics. Lukas Korencik 2022-04-10 19:44:54 +02:00
  • 93376349e0 bc:util: Add fallback option to use compile time paths when loading semantics. Lukas Korencik 2022-04-10 19:39:08 +02:00
  • 65c8305673 bc:util: Remove extra overload of LoadArchSemantics. Lukas Korencik 2022-04-10 19:23:09 +02:00
  • 6af72c66fe bc:util: Wrap return type of FindSemanticsBitcodeFile in optional. Lukas Korencik 2022-04-10 19:12:15 +02:00
  • bed40bc6fe bc: Change FindSemanticsBitcodeFile to no longer use global state. Lukas Korencik 2022-04-10 19:04:20 +02:00
  • 71d3f31a7b bc: Use std::filesystem when searching for bitcode semantics file. Lukas Korencik 2022-04-10 18:53:04 +02:00
  • 3162b9b1e4 bc: Add function that checks if there is a semantics bc file in given dir. Lukas Korencik 2022-04-10 18:04:59 +02:00
  • 140aba1775 bc: Refactor list of default search paths of bitcode files. Lukas Korencik 2022-04-10 17:55:20 +02:00
  • 65b6451384 bc: Remove deprecated Find[Host, Target]SemanticsBitcodeFile functions. Lukas Korencik 2022-04-10 17:33:54 +02:00
  • 5e3b5fac66 Include <mutex> to build on Linux Artem Dinaburg 2022-04-06 13:40:54 -07:00
  • e057f933a5 Fix the variadic op condition Alex Cameron 2022-04-03 21:12:37 +10:00
  • fc128423d6 Partially implement a few pseudo ops + a few missing from the docs Alex Cameron 2022-04-03 21:10:47 +10:00
  • cdc562e4eb Implement additional ops Alex Cameron 2022-04-03 19:50:11 +10:00
  • dc79c4fc4b Support remaining set of PCode ops in the base set. Now to do the pseudo ops. Alex Cameron 2022-04-01 18:34:44 +11:00
  • 20fea20250 Support PIECE and SUBPIECE ops Alex Cameron 2022-04-01 17:50:39 +11:00
  • a301893194 Fix incorrect index Alex Cameron 2022-04-01 13:06:40 +11:00
  • 01243b8e19 Implement STORE op Alex Cameron 2022-04-01 13:05:43 +11:00
  • 809c2fb348 Remove duplicate THUMB2 entry in archnames array Alex Cameron 2022-04-01 12:37:14 +11:00
  • 813b3580f9 Remove duplicate THUMB2 arch in enum Alex Cameron 2022-04-01 12:35:43 +11:00
  • 857eecf22d Merge remote-tracking branch 'origin/master' into ian/sleigh-continuation Alex Cameron 2022-04-01 11:44:01 +11:00
  • a4d5e858f5 sleigh: Support CARRY, SCARRY and SBORROW Alex Cameron 2022-04-01 11:42:15 +11:00
  • ed2c100cb3 Prepare for eventual thumb2 arch (#586) Artem Dinaburg 2022-03-31 18:02:01 -04:00
  • 6e39b233b3 fix fallthough and format of control flow resolution 2over12 2022-03-31 10:14:53 -04:00
  • d8c541437b expose mutex 2over12 2022-03-31 09:28:43 -04:00
  • 2dcf572320 sleigh: Reduce duplication in ops that require float intrinsics Alex Cameron 2022-03-31 23:03:18 +11:00
  • ea81f04f06 sleigh: Implement more float unary ops Alex Cameron 2022-03-31 22:44:24 +11:00
  • b5f4fd61f4 sleigh: Add entries for ops that require overflow intrinsics Alex Cameron 2022-03-31 22:12:39 +11:00
  • 761ea16fc0 sleigh: Support a few more float pcode ops that require LLVM intrinsics Alex Cameron 2022-03-31 22:08:08 +11:00
  • 19c7378899 sleigh: Support float binary ops Alex Cameron 2022-03-31 16:45:10 +11:00
  • 2a7450f78e sleigh: Support boolean binops Alex Cameron 2022-03-31 15:33:39 +11:00
  • a9718b8e0f added handling for exceptions, need to fix issue with xml parsing 2over12 2022-03-30 12:47:47 -04:00
  • 12b49d40d0 fixed typos in custom image 2over12 2022-03-30 10:45:38 -04:00
  • aa7242bee7 mutex around parsing sleigh specs 2over12 2022-03-30 09:16:28 -04:00
  • 85f234d8f1 sleigh: Implement 2COMP and INT_NEGATE Alex Cameron 2022-03-30 18:03:47 +11:00
  • fcc41a44f6 sleigh: Support SEXT op Alex Cameron 2022-03-30 17:39:59 +11:00
  • d6238ba40a sleigh: Implement ZEXT Alex Cameron 2022-03-30 16:37:24 +11:00
  • 7088917211 sleigh: Support more binary ops Alex Cameron 2022-03-30 16:20:52 +11:00