Commit Graph

  • ea0a06a876 revng.daemon: accept no arguments for analysis Antonio Frighetto 2022-09-12 10:16:48 +00:00
  • dad043027d Rework and EFA yield cross relations Massimo Fioravanti 2023-01-30 18:35:54 +01:00
  • c5d9a4d787 Introduce helper for location conversion Antonio Frighetto 2022-11-14 16:05:16 +01:00
  • c3480b6f9b CLOption: improve isSet for a cl::opt<T> Antonio Frighetto 2022-09-01 17:42:34 +02:00
  • c7ade9595c Merge branch 'feature/debug-info' Alessandro Di Federico 2023-02-02 15:27:01 +01:00
  • a48e518467 Introduce AttachDebugInfo pass Djordje Todorovic 2022-12-15 11:23:25 +01:00
  • eb6849045d FunctionMetadataCache: split an assert Djordje Todorovic 2022-12-15 10:56:26 +01:00
  • 3365a626df LLVMContainer: avoid copying !dbg to declarations Djordje Todorovic 2022-12-15 10:55:22 +01:00
  • 04d877a992 TypeSystemPrint: fix print without stack type Pietro Fezzardi 2022-12-05 10:06:05 +01:00
  • f3f04ef891 daemon/test.py: improve daemon log handling Giacomo Vercesi 2023-01-30 19:01:30 +01:00
  • b4c1cd94e1 revng-daemon: preserve more signals Giacomo Vercesi 2023-01-30 18:49:06 +01:00
  • 26a717a4ac Compute weight for untangle regions once Andrea Gussoni 2023-01-31 17:25:40 +00:00
  • ebe0729332 Improve debug graphs for collapsed nodes Andrea Gussoni 2023-01-31 17:24:13 +00:00
  • ca540399d4 Ensure that no backedges are left Andrea Gussoni 2023-01-20 17:18:09 +00:00
  • f0573995ba MakeModelGEP: use branch-and-bound approach Pietro Fezzardi 2023-01-18 07:41:02 +01:00
  • 44638de78c Remove ErrorList and introduce DiffError feature/no-error-list Massimo Fioravanti 2022-11-22 12:15:01 +01:00
  • d6d6f77666 Upcastable pointer upcast handle llvm::error Massimo Fioravanti 2022-11-22 16:32:54 +01:00
  • 07af3f607c Pipeline: refine overestimated targets Antonio Frighetto 2022-08-31 16:07:06 +02:00
  • a496d16dfa TupleTreeDiff: evict cached references in apply Antonio Frighetto 2022-11-08 16:50:55 +01:00
  • 5438ddcfbd ProcessCallGraph: fix access to Metadata Antonio Frighetto 2022-10-25 18:46:01 +02:00
  • 81d452db25 FunctionIsolation: execute CollectCFG earlier Antonio Frighetto 2022-10-06 12:31:33 +02:00
  • 420ab619ce Move ProcessCallGraph pipe within Isolate Antonio Frighetto 2022-08-30 18:11:06 +02:00
  • b5f03ec326 Context: fix entry in containsReadOnlyContainer Antonio Frighetto 2022-08-29 17:07:38 +02:00
  • 7b6ad0bff9 Runner: bail out with no requests target Antonio Frighetto 2022-09-01 17:42:17 +02:00
  • e5d7bb2831 Loader: associate container name to its role Antonio Frighetto 2022-08-24 14:43:30 +02:00
  • 2276ad419f Yield: split internal pipes off Antonio Frighetto 2022-10-11 15:04:33 +02:00
  • 1909b7c78f Introduce ApplyDiffAnalysis Massimo Fioravanti 2022-09-01 12:40:55 +02:00
  • 41f82f657a revng.daemon: accept no arguments for analysis Antonio Frighetto 2022-09-12 10:16:48 +00:00
  • f11ed394d1 Rework yield and efa cross relations Massimo Fioravanti 2023-01-30 18:35:54 +01:00
  • 9ab013df12 Introduce helper for location conversion Antonio Frighetto 2022-11-14 16:05:16 +01:00
  • 184fd42aea CLOption: improve isSet for a cl::opt<T> Antonio Frighetto 2022-09-01 17:42:34 +02:00
  • 4a7ccfd68e Merge branch 'feature/fix-fetch-debuginfo' Alessandro Di Federico 2023-01-27 18:15:04 +01:00
  • 8f95f14f12 CrossModelFindType: consider ExportedNames Djordje Todorovic 2022-12-30 10:42:50 +01:00
  • fec0ec7034 Model: add ExportedNames for local Functions Djordje Todorovic 2022-12-30 09:51:43 +01:00
  • 55d098b994 DwarfImporter: parse DW_AT_ranges Djordje Todorovic 2022-12-23 10:05:42 +01:00
  • 83905cf5ed Fix the level for FetchDebugInfo Djordje Todorovic 2022-12-19 12:03:03 +01:00
  • 925fae4c4f Merge branch 'feature/fix-idb-importer' Alessandro Di Federico 2023-01-27 17:51:46 +01:00
  • 22ba1800c5 idb: fix generation of empty structs and unions Djordje Todorovic 2023-01-11 09:50:11 +01:00
  • 3e75c09da0 dropTypesDependingOnTypes: purge from Function too Djordje Todorovic 2023-01-10 16:04:00 +01:00
  • 0f7c473cf3 FixModel: factor out logic of type deletion Djordje Todorovic 2023-01-12 10:20:13 +01:00
  • 5be245c971 FixModel: filter zero-sized fields Djordje Todorovic 2023-01-12 09:49:08 +01:00
  • e1b070f2da FixModel: filter out empty arrays Djordje Todorovic 2023-01-10 16:02:33 +01:00
  • 4e1fb3a854 DLA: fix CompactCompatibleArrays Pietro Fezzardi 2023-01-24 16:48:52 +01:00
  • e590afb38e CMake: use LIBRARY_OUTPUT_DIRECTORY for libaries Alessandro Di Federico 2023-01-21 18:56:41 +01:00
  • bf20a83268 revng-pipeline: reduce dependencies Alessandro Di Federico 2023-01-21 18:56:22 +01:00
  • 4929f201d1 script/revng: fix detection of packages directory Alessandro Di Federico 2023-01-21 16:43:11 +01:00
  • 7913bf9e58 Disable LeakSanitizer Alessandro Di Federico 2023-01-21 16:42:38 +01:00
  • 47fd084c88 revng --verbose: shorten paths only if beneficial Alessandro Di Federico 2023-01-21 16:41:53 +01:00
  • 70e4f24d9f revng-check-conventions: fix mypy if no normal_files Alessandro Di Federico 2023-01-21 16:46:21 +01:00
  • db48424629 Handle Code and Collapsed node in shortest path Andrea Gussoni 2023-01-20 16:55:47 +00:00
  • febd4a2777 Remove from Backedges set retreating edges Andrea Gussoni 2023-01-20 16:52:06 +00:00
  • 3fe74cdb0d DLA: single-step ArrangeAccessesHierarchically Pietro Fezzardi 2023-01-19 14:49:30 +01:00
  • 682cf2067c DLA: ArrangeAccessHierarchically uses RPOT Pietro Fezzardi 2023-01-17 13:00:15 +01:00
  • 5e12f66ffb Drop old logger, use CombLogger instead Pietro Fezzardi 2023-01-18 17:55:18 +01:00
  • 6cca34c30d Support array of pointers in getNamedCInstance Pietro Fezzardi 2023-01-17 12:31:22 +01:00
  • b87641b2fe tmp feature/inline-primitivetype Alessandro Di Federico 2023-01-17 12:17:52 +01:00
  • 97b23935de Handle FunctionTags::Exceptional Pietro Fezzardi 2023-01-17 11:11:46 +01:00
  • e33f6818cd MakeModelGEPPass: ignore non-pointer-sized Values Pietro Fezzardi 2023-01-17 10:56:10 +01:00
  • 97883844d3 Fix initialization of FunctionTags Pietro Fezzardi 2023-01-16 11:09:38 +01:00
  • 1a5f48f4d9 Add simplifycfg pass in the opt pipeline Andrea Gussoni 2023-01-12 16:22:55 +00:00
  • 594cc612c6 Introduce test suite for invalidation work feature/targets-invalidation Antonio Frighetto 2022-10-06 12:07:58 +02:00
  • 55dec84e1f Introduce IsolatedKind::getInvalidations Antonio Frighetto 2022-10-06 12:05:21 +02:00
  • 8f9ab35ca2 Introduce print-invalidations tool Antonio Frighetto 2022-10-04 16:58:26 +02:00
  • d66253e5ea Introduce helper for location conversion Antonio Frighetto 2022-11-14 16:05:16 +01:00
  • 021d52b409 Move CR namespace to yield::crossrelations Antonio Frighetto 2022-12-28 11:12:24 +01:00
  • 0fcd0a6a0c Yield: re-syncronize CFG with EFA Antonio Frighetto 2022-12-22 11:28:19 +01:00
  • dfc3d4f992 CrossRelations: check To/From nodes exist Antonio Frighetto 2022-11-14 16:04:14 +01:00
  • 5f08db1dc2 TupleTreeDiff: evict cached references in apply Antonio Frighetto 2022-11-08 16:50:55 +01:00
  • 527be4673e ProcessCallGraph: fix access to Metadata Antonio Frighetto 2022-10-25 18:46:01 +02:00
  • 67ce602aae CLOption: improve isSet for a cl::opt<T> Antonio Frighetto 2022-09-01 17:42:34 +02:00
  • 3dd2a8b7a8 Pipeline: refine overestimated targets Antonio Frighetto 2022-08-31 16:07:06 +02:00
  • 4d3af2898f FunctionIsolation: execute CollectCFG earlier Antonio Frighetto 2022-10-06 12:31:33 +02:00
  • 6aacfa76cf Move ProcessCallGraph pipe within Isolate Antonio Frighetto 2022-08-30 18:11:06 +02:00
  • 16d0c4b42c Context: fix entry in containsReadOnlyContainer Antonio Frighetto 2022-08-29 17:07:38 +02:00
  • c4d4d0acd8 Runner: bail out with no requests target Antonio Frighetto 2022-09-01 17:42:17 +02:00
  • 6355a063f0 Loader: associate container name to its role Antonio Frighetto 2022-08-24 14:43:30 +02:00
  • c0f77642c2 revng.daemon: accept no arguments for analysis Antonio Frighetto 2022-09-12 10:16:48 +00:00
  • db07039b5c Yield: split internal pipes off Antonio Frighetto 2022-10-11 15:04:33 +02:00
  • 9bda21f6cb Introduce ApplyDiffAnalysis Massimo Fioravanti 2022-09-01 12:40:55 +02:00
  • 16764ded5d Allow access to Global in invalidation Massimo Fioravanti 2022-08-30 17:01:13 +02:00
  • 894a085aa3 Pipe: run to be returning a revng::ErrorList Massimo Fioravanti 2022-11-03 17:10:59 +01:00
  • deb5381ff9 Introduce TupleTreeContainer Massimo Fioravanti 2022-08-30 16:13:33 +02:00
  • edfe244654 Introduce dynamic functions to CrossRelation Ivan Krysak 2022-08-30 18:26:33 +03:00
  • 9bfe168059 PathMatcher: handle UpcastablePointers Alessandro Di Federico 2022-08-26 16:41:29 +02:00
  • 568bd24900 Add UnaryMinus and BinaryNot Kacper Kołodziej 2022-11-22 15:10:02 +01:00
  • 3dee046e09 tmp Alessandro Di Federico 2023-01-05 17:49:33 +01:00
  • 0228e1595d Drop PrimitiveType.h Alessandro Di Federico 2023-01-05 17:49:25 +01:00
  • f4b37cdfa2 tmp Alessandro Di Federico 2023-01-02 15:50:42 +01:00
  • fedfe6f1cb Fix unit tests Alessandro Di Federico 2022-12-14 18:13:57 +01:00
  • 3993a20e30 tmp Alessandro Di Federico 2022-12-12 18:31:33 +01:00
  • 51a605c8a8 tmp Alessandro Di Federico 2022-12-12 15:00:05 +01:00
  • 9b79518770 Drop PrimitiveType.h Alessandro Di Federico 2022-12-09 18:09:14 +01:00
  • 210e80f2ce [TEMP] Disable tests Alessandro Di Federico 2022-12-09 17:17:16 +01:00
  • 80ea234167 Fix ContinueNode emission Andrea Gussoni 2023-01-05 16:33:21 +00:00
  • c6630a2414 eraseIfNoUse: check if WeakVH is dead Alessandro Di Federico 2023-01-03 11:37:49 +01:00
  • 27dba19ddc eraseIfNoUse: check if WeakVH is dead feature/various-fixes-2 Alessandro Di Federico 2023-01-03 11:37:49 +01:00
  • a4f4906ba7 Lift: re-enable InstCombine upon harvesting Alessandro Di Federico 2023-01-03 11:35:46 +01:00
  • 8030f1c909 finalizeNewPCMarkers: do not copy attributes Alessandro Di Federico 2023-01-03 11:35:13 +01:00
  • dd5914ce61 ProgramCounterHandler: initialize field Alessandro Di Federico 2023-01-02 12:56:50 +01:00
  • 991980806e LinkForTranslation: use -l:ld-linux-x86-64.so.2 feature/fix-crt-linking Alessandro Di Federico 2023-01-02 10:46:11 +01:00