Commit Graph

  • bf55034fa6 Support deserializing empty TupleTreeReference Alessandro Di Federico 2021-07-21 08:34:01 +02:00
  • fd30d3de42 Import the model's type system Alessandro Di Federico 2021-07-15 11:55:31 +02:00
  • 0f8fa271d9 TupleTree: reduce INTROSPECTION responsibilities Alessandro Di Federico 2021-07-15 11:43:05 +02:00
  • a546ac2a37 Introduce model::Register::getSize Alessandro Di Federico 2021-07-15 11:23:31 +02:00
  • 69367669d7 model::Register: enable as KOC key Alessandro Di Federico 2021-07-15 11:23:12 +02:00
  • 10d1eab7f4 Decompiler: update to new model APIs Pietro Fezzardi 2021-07-20 12:45:41 +02:00
  • e1ab2ff553 ASTBuildAnalysis.cpp: disable array accesses Pietro Fezzardi 2021-07-15 10:28:57 +02:00
  • 88ade5e105 Handle non-decreasing nested AddRecs Pietro Fezzardi 2021-03-29 17:14:20 +02:00
  • f2dd2d89de ASTBuildAnalysis: improve logging Pietro Fezzardi 2021-02-25 17:31:02 +01:00
  • c994dc0b44 ASTBuildAnalysis: drop assertion for handled case Pietro Fezzardi 2021-03-30 18:08:28 +02:00
  • 81cb8422ad ASTBuildAnalysis: build member access expressions Pietro Fezzardi 2021-02-19 18:26:02 +01:00
  • 878b0a8075 Enable --sroa-aggressive-phis-selects for DLA Pietro Fezzardi 2021-07-20 19:00:42 +02:00
  • ae0095e90a DLA: handle Values with unknown Layouts Pietro Fezzardi 2021-07-20 12:50:46 +02:00
  • 56644b8512 Move model::Register in its own file Alessandro Di Federico 2021-06-22 15:14:15 +02:00
  • 8fa8ca2d03 Rework getWriteableModel to return a TupleTree Pietro Fezzardi 2021-06-09 15:21:04 +02:00
  • b4929b431c Drop IsTupleEnd concept Alessandro Di Federico 2021-07-15 11:40:33 +02:00
  • 6d10581163 Whitespace and other minor changes Alessandro Di Federico 2021-07-15 10:56:30 +02:00
  • 4eb50d0bb5 Add Unit Test for DLACollapseSingleChild Alvise de Faveri 2021-06-25 18:21:32 +02:00
  • c1e4b940d0 Add CollapseSingleChild step to DLA Alvise de Faveri 2021-06-25 14:29:01 +02:00
  • 6efc356c47 Drop dependency on GCBI and BlockType Pietro Fezzardi 2021-06-30 10:34:41 +02:00
  • 47db3fdb11 Promote AccessSizes to full-fledged TS nodes Alvise de Faveri 2021-06-23 16:39:29 +02:00
  • d09c7c6ab3 Handle inheritance in with interfering children Pietro Fezzardi 2021-06-24 17:21:12 +02:00
  • 18bff2dba1 DLAMakeLayouts.cpp: drop unused variable Pietro Fezzardi 2021-06-24 17:20:17 +02:00
  • 6a2e130ec6 Move openFunctionFile to new Utils library Pietro Fezzardi 2021-05-19 14:15:11 +02:00
  • bfdef657f2 Move DLA files to separate folder Alvise de Faveri 2021-06-17 12:04:24 +02:00
  • 105edb69a3 DLA: Decouple DLATypeSystem from LLVM Values Alvise de Faveri 2021-05-27 17:11:05 +02:00
  • 737992a26e tmp feature/windows Alessandro Di Federico 2021-06-17 17:04:43 +02:00
  • 952602c6db Merge branch 'feature/llvm-12' Alessandro Di Federico 2021-06-14 23:04:35 +02:00
  • 1047f50f62 Silence -Wvoid-pointer-to-int-cast in support.c Pietro Fezzardi 2021-05-31 12:32:30 +02:00
  • 67eaaab045 JumpTargetManager: enable InstCombine(true) Pietro Fezzardi 2021-05-28 16:31:19 +02:00
  • b96fbd091d Fix check-conventions with clang-format-12 Pietro Fezzardi 2021-05-28 15:59:07 +02:00
  • 6f7de910a6 Enable warning -Wunused-local-typedefs Pietro Fezzardi 2021-05-27 12:13:29 +02:00
  • 7735879fa0 Enable warning: -Wdeprecated-enum-enum-conversion Pietro Fezzardi 2021-05-27 12:12:35 +02:00
  • 71c79461d8 MaterializedValue: fix comparison between APInt Pietro Fezzardi 2021-05-27 10:58:33 +02:00
  • f0a6184ac0 Propagate DebugLoc on CallInst and InvokeInst Pietro Fezzardi 2021-05-27 10:40:26 +02:00
  • 544b553e5c JumpTargetManger: swap constprop with instsimplify Pietro Fezzardi 2021-05-26 23:59:04 +02:00
  • 2448fec4a5 AVI: use new LVI API Pietro Fezzardi 2021-05-26 23:58:28 +02:00
  • 1e5cce6654 AVI: handle new SCEVType in switch Pietro Fezzardi 2021-05-26 23:57:18 +02:00
  • 12364e6d63 Update BinaryFile to new llvm::object APIs Pietro Fezzardi 2021-05-26 23:47:49 +02:00
  • d3d4e1ea5e JumpTargetManager.cpp: include missing header Pietro Fezzardi 2021-05-26 17:32:08 +02:00
  • 370dfdaf13 Update InlineFunction API to LLVM-12 Pietro Fezzardi 2021-05-26 17:29:48 +02:00
  • f8d20946d8 RecursiveCoroutine: add noexcept where needed Pietro Fezzardi 2021-05-26 12:33:11 +02:00
  • ece3f7fdda Added epoch info on global Segment Variables feature/pagebuster Matteo Giordano 2021-06-11 16:23:43 +02:00
  • 1c403b5dd8 Merge branch 'feature/improve-model' Alessandro Di Federico 2021-06-09 20:25:59 +02:00
  • a7a55f974a Require TupleTreeCompatible concept on TupleTree Pietro Fezzardi 2021-06-07 18:03:50 +02:00
  • 3cb6dcd163 Move IsYamlizable generic lambda in TupleTree.h Pietro Fezzardi 2021-06-07 17:07:26 +02:00
  • 75bff8f29c Move CompositeScalar in YAMLTraits.h Pietro Fezzardi 2021-06-07 17:06:02 +02:00
  • c9b3cdd88b Fix UpcastablePointer copy/move ctor/assignment Pietro Fezzardi 2021-06-04 11:02:49 +02:00
  • 4b7f383ea5 Conceptify YAMLTraits.h Pietro Fezzardi 2021-06-04 12:36:01 +02:00
  • 432b75f2ba TupleTreePath.h: fix copy/move ctors/assignments Pietro Fezzardi 2021-05-18 10:42:54 +02:00
  • 8557a30206 TupleTree: improve serialization Pietro Fezzardi 2021-05-12 13:06:41 +02:00
  • 83a629444a Default operator== for TupleTreePath Pietro Fezzardi 2021-05-12 13:04:17 +02:00
  • b78d52ac3c Add TupleTreeReference::operator==, ignoring Root Pietro Fezzardi 2021-05-12 10:14:54 +02:00
  • 88a48015dc TupleTree.h: require IsKeyedObjectContainer Pietro Fezzardi 2021-05-06 18:14:48 +02:00
  • 0a293b5881 CallByPathVisitorWithInstance on UpcastablePointer Pietro Fezzardi 2021-05-06 18:15:51 +02:00
  • baeae84c65 UpcastablePointer: use std::is_void Pietro Fezzardi 2021-05-06 10:19:59 +02:00
  • b4395794dd KeyedObjectTraits: drop useless template parameter Pietro Fezzardi 2021-04-07 14:47:06 +02:00
  • 478baf1f43 Fix use-after-free in InstructionTranslator Filippo Cremonese 2021-05-06 12:41:35 +02:00
  • 5004ec789e Fix multiple cppcoro issues Filippo Cremonese 2021-05-06 12:31:00 +02:00
  • 1e68b6e665 EnforceABI: drop handleRoot Antonio Frighetto 2021-05-17 10:58:47 +02:00
  • 67b6bc491b BinaryFile: always relocate addresses Antonio Frighetto 2021-05-17 18:46:54 +02:00
  • 04c5b5c5c3 MetaAddress.cpp: fix on fields processing order Matteo Giordano 2021-05-26 15:17:35 +02:00
  • bc8c8f82d2 Prevent separation of 'main' headers into group 0 Ivan Krysak 2021-06-03 14:51:49 +02:00
  • dfd81a017d Use std::has_single_bit and std::bit_ceil Pietro Fezzardi 2021-05-13 10:38:43 +02:00
  • 2e214bc661 Add an include category for Qt headers Ivan Krysak 2021-06-03 14:50:10 +02:00
  • 5b4d11146e [NewMFPABI] Default to identity feature/new-mfp-abi-analyses Qian Matteo Chen 2021-03-26 11:18:11 +01:00
  • 67f999311e [NewMFPABI] Wrap long lines Qian Matteo Chen 2021-03-16 18:20:21 +01:00
  • 2db8fbd99e [NewMFPABI] Use acronyms for analysis names Qian Matteo Chen 2021-03-16 18:13:31 +01:00
  • e18d7fa962 [NewMFPABI] Remove pygraphviz Qian Matteo Chen 2021-03-16 18:03:37 +01:00
  • 5f95104865 [NewMFPABI] Fix ABIAnalyses dependencies Qian Matteo Chen 2021-03-16 18:02:03 +01:00
  • e269f4069d [NewMFPABI] Prepare to remove pygraphviz Qian Matteo Chen 2021-03-16 17:41:50 +01:00
  • d24d84f7e9 [NewMFPABI] Cleanup use of llvm namespace Qian Matteo Chen 2021-03-15 17:45:53 +01:00
  • d66dac2a77 [NewMFPABI] Format code Qian Matteo Chen 2021-03-15 17:31:38 +01:00
  • f83fd92e41 [NewMFPABI] Return analysis results Qian Matteo Chen 2021-03-15 17:31:24 +01:00
  • b4996feb96 [NewMFPABI] Change Lh/Rh to LHS/RHS Qian Matteo Chen 2021-03-15 16:08:01 +01:00
  • 87ad1d0314 [NewMFPABI] Reformat code Qian Matteo Chen 2021-03-15 16:03:36 +01:00
  • 6de5f10211 [NewMFPABI] Error when meeting invalid value Qian Matteo Chen 2021-03-15 16:02:39 +01:00
  • 5c1723c348 [NewMFPABI] Refactor nested expressions Qian Matteo Chen 2021-03-15 16:01:06 +01:00
  • a91e411b14 [NewMFPABI] Move common code out of the code gen Qian Matteo Chen 2021-03-15 15:18:56 +01:00
  • dc347d70e1 [NewMFPABI] Use ternary operator Qian Matteo Chen 2021-03-15 01:01:42 +01:00
  • 32929a84f7 [NewMFPABI] Rename python scripts using underscore Qian Matteo Chen 2021-03-12 07:49:24 -08:00
  • d986b4e51a [NewMFPABI] Remove commented line Qian Matteo Chen 2021-03-12 07:41:55 -08:00
  • 713e54a8de [NewMFPABI] Generate headers using cmake Qian Matteo Chen 2021-03-12 07:40:21 -08:00
  • 9734d2cc95 [NewMFPABI] Move ABIAnalysis internals to lib Qian Matteo Chen 2021-03-12 06:37:51 -08:00
  • 3a7228018d Remove trailing whitespace Qian Matteo Chen 2021-03-12 06:23:59 -08:00
  • c38a49463c [NewMFPABI] Add header to python script Qian Matteo Chen 2021-03-12 06:23:14 -08:00
  • db094029f1 [NewMFPABI] Iterate over instructions directly Qian Matteo Chen 2021-03-12 06:18:25 -08:00
  • 4865c60d20 [NewMFPABI] Simplify isABIRegister Qian Matteo Chen 2021-03-11 07:25:17 -08:00
  • 446c8bfd0d [NewMFPABI] Explicit pointer in auto Qian Matteo Chen 2021-03-11 07:10:05 -08:00
  • a31b5ee9ca [NewMFPABI] Refactor getRegistersWritten/Read Qian Matteo Chen 2021-03-11 07:09:00 -08:00
  • 408d6be3ea [NewMFPABI] Remove auto reference to pointer Qian Matteo Chen 2021-03-11 07:04:05 -08:00
  • a27d3f11a5 [NewMFPABI] Add curly braces Qian Matteo Chen 2021-03-11 07:02:01 -08:00
  • 48ada4cb3c [NewMFPABI] Run check-revng-conventions Qian Matteo Chen 2021-03-11 07:01:37 -08:00
  • 4867fe77d3 [NewMFPABI] Reformat comment Qian Matteo Chen 2021-03-11 06:59:53 -08:00
  • 2b4c23bd2d [NewMFPABI] Convert abi test pass to new PM Qian Matteo Chen 2021-03-10 08:03:35 -08:00
  • 01374490d0 [NewMFPABI] Remove references to Unknown Qian Matteo Chen 2021-03-09 09:27:30 -08:00
  • 8e2963bcd4 [NewMFPABI] Fix WeakWrite default behaviour Qian Matteo Chen 2021-03-09 08:43:08 -08:00
  • c5dd22f6ae [WIP][NewMFPABI] Fix precall_hook matching Qian Matteo Chen 2021-03-09 08:42:15 -08:00
  • aa57798813 [WIP][NewMFPABI] Update template to include GT Qian Matteo Chen 2021-03-09 08:41:40 -08:00
  • 0b19048b14 [WIP][NewMFPABI] Fix Label GraphType Qian Matteo Chen 2021-03-09 08:40:47 -08:00