Commit Graph

  • 5e664186f0 Introduce IndirectBranchInfoPrinterPass Antonio Frighetto 2021-05-25 12:11:01 +02:00
  • cf79b2d6e3 Introduce CSVAliasAnalysisPass Antonio Frighetto 2021-01-13 18:57:30 +01:00
  • af8582d709 MetaAddress.cpp: Fixed fields processing order Matteo Giordano 2021-05-26 15:10:47 +02:00
  • e8dfaa3a86 DLA: Fix missing AccessLayout field in structs Alvise de Faveri 2021-05-21 18:41:02 +02:00
  • 807ed5fd40 BinaryFile: PageBuster initial integration Matteo Giordano 2021-05-18 17:45:28 +02:00
  • 13170f0a2a DLARemoveTransitiveInheritanceEdges: fix UAF Pietro Fezzardi 2021-05-19 10:27:23 +02:00
  • 7b59291576 Add custom destructor for dla::LayoutTypeSystem Pietro Fezzardi 2021-05-19 10:24:02 +02:00
  • e4c857185f LayoutTypeSystem: fix memory leak Pietro Fezzardi 2021-05-18 18:22:20 +02:00
  • 7d4a1ba467 DLATypeSystem: fix use-after-poison false positive Pietro Fezzardi 2021-05-18 12:11:42 +02:00
  • af8a47fe93 test_reachabilitypass: fix memory leak Pietro Fezzardi 2021-05-18 11:38:46 +02:00
  • 9fc389fd58 DLAHelpers: fix use-after-free with short-circuit Pietro Fezzardi 2021-05-18 09:58:50 +02:00
  • 1caf2f6f6d Introduce PromoteGlobalToLocalPass Antonio Frighetto 2021-03-05 10:22:52 +01:00
  • b72ae42c3a Introduce RemoveHelperCallsPass Antonio Frighetto 2021-02-10 18:25:34 +01:00
  • f78529330f Introduce RemoveNewPCCallsPass Antonio Frighetto 2021-02-11 12:28:31 +01:00
  • ad4586f401 ProgramCounterHandler: add dissectJumpablePC Antonio Frighetto 2021-02-24 22:50:28 +01:00
  • 5ecb3ef752 IRHelpers: refactor getPC Antonio Frighetto 2021-02-26 11:10:22 +01:00
  • b150274a1f Import overview document Alessandro Di Federico 2021-05-06 16:31:27 +02:00
  • 461b1cc715 DLATypeSystem: simplify ownership, lookup, removal Pietro Fezzardi 2021-05-03 16:47:33 +02:00
  • 981274d0b3 LayoutTypeSystem: drop unused overload mergeNodes Pietro Fezzardi 2021-05-03 11:58:50 +02:00
  • 2b73e29249 Decouple LayoutTypeSystemNode from LLVM IR Pietro Fezzardi 2021-05-03 11:53:09 +02:00
  • 7be0e6ab23 Drop redundant functions dumpToString Pietro Fezzardi 2021-03-09 16:25:58 +01:00
  • 6fbf5724d1 Add Value Manipulation Analysis Alvise de Faveri 2020-09-22 15:44:00 +02:00
  • 5a002a6fc9 Merge branch 'feature/various-bugfixes' Alessandro Di Federico 2021-05-12 18:59:56 +02:00
  • 0af0fea277 Handle R_386_32 relocations Alessandro Di Federico 2021-05-12 18:36:38 +02:00
  • 5878fee3e2 Make PCH::addCaseToDispatcher more efficient Alessandro Di Federico 2021-05-12 18:34:50 +02:00
  • ec0a1c7d3e Fix dispatcher.external Alessandro Di Federico 2021-05-11 21:52:42 +02:00
  • 10eb8e498a AVI: handle Undef Alessandro Di Federico 2021-05-11 21:52:22 +02:00
  • a6abb1ebd1 tmp feature/various-bugfixes Alessandro Di Federico 2021-05-12 09:20:43 +02:00
  • c0dc0e85be [REWORD] Fix dispatcher.external Alessandro Di Federico 2021-05-11 21:52:42 +02:00
  • b0e82f709e [REWORD] Fix AVI Alessandro Di Federico 2021-05-11 21:52:22 +02:00
  • 9be97248ce Reorganize VariableManager Alessandro Di Federico 2021-05-08 12:43:49 +02:00
  • cfddcceb3e IRHelpers: non-const getModule(...) Alessandro Di Federico 2021-05-08 12:42:43 +02:00
  • 82260c2693 Make dumping assembly and PTC optional Alessandro Di Federico 2021-05-08 08:56:23 +02:00
  • 91991bb694 Handle PHIs in lifted code Alessandro Di Federico 2021-05-08 08:53:48 +02:00
  • c04a30e703 Model: fake functions have no blocks Alessandro Di Federico 2021-05-08 11:38:28 +02:00
  • 1ac2884f2e Handle blocks ending with unreachable Alessandro Di Federico 2021-05-08 10:30:24 +02:00
  • ab359b69ac Import overview document feature/doc-overview Alessandro Di Federico 2021-05-06 16:31:27 +02:00
  • 871931b9cd Test TupleTreeDiff on Model Alessandro Di Federico 2021-05-06 15:42:16 +02:00
  • e62f888381 Drop KeyTraits Alessandro Di Federico 2021-05-06 11:28:40 +02:00
  • 79cd55d11b [WIP] Drop KeyTraits feature/drop-keytraits Alessandro Di Federico 2021-05-06 11:28:40 +02:00
  • 9fb066a87f Use TupleTree<model::Binary> Alessandro Di Federico 2021-05-05 17:43:25 +02:00
  • bf433d96f8 Drop rc_run Alessandro Di Federico 2021-05-05 18:34:58 +02:00
  • e34426c03e Decompiler: handle PHINode with StructType Pietro Fezzardi 2021-03-25 10:11:25 +01:00
  • b58693b8e8 RecursiveCoroutine: enable direct continuation Pietro Fezzardi 2021-04-27 04:57:30 +02:00
  • bca502aeaa Merge branch 'feature/extend-model' Alessandro Di Federico 2021-05-05 17:13:16 +02:00
  • 7e637beef3 Import static TupleTree validation routines Alessandro Di Federico 2021-04-30 17:50:28 +02:00
  • 9650369fa7 Import TupleTree and TupleTreeReference Alessandro Di Federico 2021-04-30 17:50:19 +02:00
  • 0d77258109 Introduce HasKeyObjectTraits concept Alessandro Di Federico 2021-04-30 17:46:09 +02:00
  • 508bc4eb00 Minor changes Alessandro Di Federico 2021-04-30 15:08:47 +02:00
  • 6fd8a87572 TupleTree, visit: rename and make more usable Alessandro Di Federico 2021-04-30 15:07:44 +02:00
  • 51682eb024 model::FunctionEdge: carve out CallEdge Alessandro Di Federico 2021-04-27 17:29:23 +02:00
  • 582dee6fcc TupleTree: support UpcastablePointer Alessandro Di Federico 2021-04-27 17:26:49 +02:00
  • 702f4230ac Import UpcastablePointer Alessandro Di Federico 2021-04-27 17:22:23 +02:00
  • a6468d8d22 Minor changes Alessandro Di Federico 2021-04-27 17:15:26 +02:00
  • 50681284c0 Conceptify revng Pietro Fezzardi 2021-04-01 20:17:41 +02:00
  • dde698e201 Merge branch 'feature/inline-helpers' Alessandro Di Federico 2021-05-03 18:32:06 +02:00
  • c02df6ea98 Import static TupleTree validation routines feature/extend-model Alessandro Di Federico 2021-04-30 17:50:28 +02:00
  • fc64ccc627 Import TupleTree and TupleTreeReference Alessandro Di Federico 2021-04-30 17:50:19 +02:00
  • 21986b137f Introduce HasKeyObjectTraits concept Alessandro Di Federico 2021-04-30 17:46:09 +02:00
  • 54002b937f Minor changes Alessandro Di Federico 2021-04-30 15:08:47 +02:00
  • 87e752044f TupleTree, visit: rename and make more usable Alessandro Di Federico 2021-04-30 15:07:44 +02:00
  • d46c397e5d model::FunctionEdge: carve out CallEdge Alessandro Di Federico 2021-04-27 17:29:23 +02:00
  • bb7485beaf TupleTree: support UpcastablePointer Alessandro Di Federico 2021-04-27 17:26:49 +02:00
  • 2fb68ca054 Import UpcastablePointer Alessandro Di Federico 2021-04-27 17:22:23 +02:00
  • 42aa3231ae Minor changes Alessandro Di Federico 2021-04-27 17:15:26 +02:00
  • 0b24d5d7e3 Conceptify revng Pietro Fezzardi 2021-04-01 20:17:41 +02:00
  • 2c7fa21065 Enable -inline-helpers feature/inline-helpers Alessandro Di Federico 2021-04-11 18:34:02 +02:00
  • 0c671ea7ae Introduce RemoveExceptionalCalls Alessandro Di Federico 2021-04-11 15:39:27 +02:00
  • ce87c30490 Introduce InlineHelpers Alessandro Di Federico 2021-04-11 15:38:59 +02:00
  • b6327b0526 PromoteCSVs: fix CSV list initialization Pietro Fezzardi 2021-04-28 23:57:43 +02:00
  • 223d022968 replaceFunction: preserve metadata Pietro Fezzardi 2021-04-28 23:56:05 +02:00
  • 49a493ebbb DLA: handle extractvalue from struct_initalizers Pietro Fezzardi 2021-04-29 03:09:26 +02:00
  • 80b1a9e7fa Add RemoveLLVMDbgIntrinsicsPass Pietro Fezzardi 2021-04-29 03:06:58 +02:00
  • 0cd27eed3f Drop loads from cpu_loop_exiting Pietro Fezzardi 2021-04-29 03:04:39 +02:00
  • 5aaff6a524 AddSCEVBarrierPass: handle barriers on struct ptrs Pietro Fezzardi 2021-04-28 18:14:41 +02:00
  • 4202117d84 Merge branch 'next-develop' into develop Pietro Fezzardi 2021-04-27 22:51:15 +02:00
  • 3be9d0a9a1 Fix missing parenthesis around ConditionalOperator Pietro Fezzardi 2021-04-27 17:54:55 +02:00
  • 572e04751f CDecompilerAction: fix parens in negateExpr Pietro Fezzardi 2021-04-27 17:27:58 +02:00
  • cdb8f84f48 DLA: Handle StructInitializers Pietro Fezzardi 2021-04-27 17:07:49 +02:00
  • 39eb322820 FilterForDecompilation: mark Functions optnone Pietro Fezzardi 2021-04-27 16:16:49 +02:00
  • 36a525314a Detect isolated functions using FunctionTags Pietro Fezzardi 2021-04-27 12:40:55 +02:00
  • 96a3cb83d3 Merge branch 'feature/function-tags' Alessandro Di Federico 2021-04-23 09:37:26 +02:00
  • 53f6328507 Introduce PromoteCSVs Alessandro Di Federico 2021-04-11 18:36:41 +02:00
  • 2e9c2ee275 Introduce FunctionTags Alessandro Di Federico 2021-04-11 15:28:19 +02:00
  • e166ccf860 Merge branch 'feature/llvm-11-preparation' Alessandro Di Federico 2021-04-22 18:06:55 +02:00
  • 2ea5723a53 s/getCalledValue/getCalledOperand/g Alessandro Di Federico 2021-04-17 20:55:03 +02:00
  • aeb81c4218 Don't implicitly use StringRef as std::string Alessandro Di Federico 2021-04-17 20:53:59 +02:00
  • d6df9b682f Use MaybeAlign Alessandro Di Federico 2021-04-22 10:23:11 +02:00
  • bd3e048647 CPUStateAccessFixer: do not call delete directly Alessandro Di Federico 2021-04-22 10:22:33 +02:00
  • e92cbd91a1 LoadInst::LoadInst: pass pointee type Alessandro Di Federico 2021-04-22 10:25:24 +02:00
  • 93ef716311 Module::getFunction returns Function * Alessandro Di Federico 2021-04-22 10:23:40 +02:00
  • 90c93bfc26 Do not include PassSupport.h directly Alessandro Di Federico 2021-04-22 10:20:30 +02:00
  • 1e8c43b1d5 PCH::store: pass IRBuilder by reference Alessandro Di Federico 2021-04-22 10:19:53 +02:00
  • fee270b64e Minor changes Alessandro Di Federico 2021-04-17 18:18:22 +02:00
  • 0fcaf7f065 Merge branch 'feature/improve-performance' Alessandro Di Federico 2021-04-22 18:06:09 +02:00
  • 3ce9acf198 AVI: ignore function calls Alessandro Di Federico 2021-04-17 18:17:32 +02:00
  • 33fbcd7ac2 AVI: stop backward exploration at dispatcher Alessandro Di Federico 2021-04-17 18:07:31 +02:00
  • 84a4aef1ee nodesBetween: introduce ignore list Alessandro Di Federico 2021-04-17 17:50:44 +02:00
  • a27ee2faa6 Merge branch 'feature/prepare-helpers-inlining' Alessandro Di Federico 2021-04-22 18:05:10 +02:00
  • 0e21755eb0 Handle more count-leading-zeros helpers Alessandro Di Federico 2021-04-17 17:55:06 +02:00