Commit Graph

  • 07837d9b9b Model: add model::Binary::recordNewTypes Ivan Krysak 2023-01-19 17:22:49 +02:00
  • b0e481cdef Model: add model::Binary::makeType Ivan Krysak 2022-12-13 13:07:24 +02:00
  • 726baf5318 Model: make Binary::recordNewType stricter Ivan Krysak 2023-02-07 14:55:43 +01:00
  • 69c292102d Pipeline: improve InvokableWrapperImpl::dump() Ivan Krysak 2023-01-02 13:51:56 +01:00
  • 3904e525b0 SortedVector: improve new element insertion Ivan Krysak 2023-01-19 17:09:27 +02:00
  • 64a4672f32 STLExtras: introduce ranges::views::as_rvalue Ivan Krysak 2023-02-24 09:19:23 +02:00
  • a06d9fedbd STLExtras: extend revng::find family Ivan Krysak 2023-01-12 09:59:50 +01:00
  • e79870e7c6 STLExtras: rework the skip range modifier Ivan Krysak 2023-01-19 17:20:37 +02:00
  • 1248f8532d TTG: enable vectors of enumerations Ivan Krysak 2022-11-23 15:24:50 +02:00
  • 3687869795 Model: make AddPrimitiveTypes a pure analysis Ivan Krysak 2022-12-15 12:45:05 +02:00
  • 03be19fab8 Pipeline: fix pure (model only) analysis support Ivan Krysak 2022-12-15 12:43:52 +02:00
  • 15da250710 api/daemon: fix single analysis handling Giacomo Vercesi 2022-09-12 10:16:48 +00:00
  • 11c0d7f02e Stop using \brief doxygen command Ivan Krysak 2023-02-08 15:37:09 +02:00
  • 1c44e492af yield: improve command-less pipe error messages Ivan Krysak 2022-12-05 18:05:07 +01:00
  • 0b1aaeaede Minor improvements Ivan Krysak 2022-10-04 13:55:53 +02:00
  • 40cf837713 Merge branch 'feature/fix-llvm-linking' Pietro Fezzardi 2023-03-15 07:55:08 +01:00
  • c40c22fdef Merge branch 'feature/fix-llvm-linking' Alessandro Di Federico 2023-03-14 20:50:59 +01:00
  • 7751143aad revng daemon: add timeout-keep-alive option Giacomo Vercesi 2023-03-14 18:38:18 +01:00
  • ab6aa2eb5f revng daemon: add timeout-keep-alive option feature/fix-llvm-linking Giacomo Vercesi 2023-03-14 18:38:18 +01:00
  • 6b166bf0b9 Import TaggedFunctionPass Alessandro Di Federico 2023-03-13 13:12:22 +01:00
  • 09541be398 getUniqueString: do not rely on named metadata Alessandro Di Federico 2023-03-13 11:48:44 +01:00
  • 6f47231695 LLVMContainer: pruneDICompileUnits pre linking Alessandro Di Federico 2023-03-13 11:47:40 +01:00
  • 8d813e169a LLVMContainer: drop certain named MD pre linking Alessandro Di Federico 2023-03-13 11:45:19 +01:00
  • 4353beff22 LLVMContainer: fix how we adjust linkage Alessandro Di Federico 2023-03-13 11:43:47 +01:00
  • 927f5b38be PromoteCSVs/EnforceABI: handle declarations Alessandro Di Federico 2023-03-13 11:52:33 +01:00
  • 8e05ae5ead rcc: fix report output with multiple rules Giacomo Vercesi 2023-03-13 11:59:03 +01:00
  • 54e8393cb8 Minor changes Alessandro Di Federico 2023-03-13 11:51:34 +01:00
  • bd61df1ddd PromoteCSVs::getUsedCSVs: fix non-helpers Alessandro Di Federico 2023-03-13 22:08:40 +01:00
  • 77ea6c6db6 Fix serialization of Segment key Alessandro Di Federico 2023-03-13 13:19:12 +01:00
  • 9be304ece2 areMemOpCompatible: drop redundant check Alessandro Di Federico 2023-03-13 13:15:50 +01:00
  • e73bd95493 Improve handling of declarations Alessandro Di Federico 2023-03-13 13:13:46 +01:00
  • f6cdd8ad6d s/revng.register/revng.abi_register/ Alessandro Di Federico 2023-02-21 16:43:43 +01:00
  • f5a5990a30 Drop buildStringPtr in favor of getUniqueString Alessandro Di Federico 2023-03-13 13:17:13 +01:00
  • 5482083e79 DecompileFunction.cpp: print debug info in PTML Djordje Todorovic 2022-12-01 17:35:59 +01:00
  • f3e466c989 DecompileFunction.cpp: fix format for int literals Pietro Fezzardi 2023-02-24 15:27:28 +01:00
  • 7361da3629 Merge branch 'feature/fixes-for-hostname' Alessandro Di Federico 2023-02-23 14:51:35 +01:00
  • 9efe5e1366 PromoteCSVs: rename metadata to revng.abi_register Alessandro Di Federico 2023-02-22 17:53:58 +01:00
  • f68b7866b3 Introduce BasicBlockID Alessandro Di Federico 2023-02-17 18:59:05 +01:00
  • 892922794e rcc-config.yml: ban "#pragma clang optimize off" Alessandro Di Federico 2023-02-21 10:49:17 +01:00
  • 1d4fc9de5b rcc-config.yml: add documentation Alessandro Di Federico 2023-02-21 10:48:59 +01:00
  • 8886792ebb Logger: ensure we consume llvm::Error Alessandro Di Federico 2023-02-17 18:34:23 +01:00
  • 599cad1359 Merge branch 'feature/fixes-for-hostname' Pietro Fezzardi 2023-02-23 12:55:43 +01:00
  • d3f6d43ffe PromoteCSV: tag init_ functions with register Alessandro Di Federico 2023-01-02 12:59:20 +01:00
  • 969b3c0cb7 SystemV_x86_64: ignore fs register Alessandro Di Federico 2023-01-02 12:58:02 +01:00
  • 052e1d5e16 PromoteCSVs: rename metadata to revng.abi_register feature/fixes-for-hostname Alessandro Di Federico 2023-02-22 17:53:58 +01:00
  • deddd8ebd1 PromoteInitCSVToUndef: only preserved registers Alessandro Di Federico 2023-02-21 16:43:43 +01:00
  • dfb18bd1cf RemoveLiftingArtifacts: drop makeInitRegsUndef Alessandro Di Federico 2023-02-21 16:39:33 +01:00
  • 098b9b3aa4 PromoteStackPointer: prevent DCE of init_local_sp Alessandro Di Federico 2023-02-21 15:51:13 +01:00
  • e9b9ba50d1 MakeModelGEP: ignore negative strides Alessandro Di Federico 2023-02-21 15:49:30 +01:00
  • c18dca0031 Adopt new approach for MetaAddress serialization Alessandro Di Federico 2023-02-21 15:50:17 +01:00
  • c7f8f3302d Introduce BasicBlockID Alessandro Di Federico 2023-02-17 18:59:05 +01:00
  • a5b666d748 rcc-config.yml: ban "#pragma clang optimize off" Alessandro Di Federico 2023-02-21 10:49:17 +01:00
  • 8bcd4bfd75 rcc-config.yml: add documentation Alessandro Di Federico 2023-02-21 10:48:59 +01:00
  • d97d85bec1 Logger: consume llvm::Error Alessandro Di Federico 2023-02-17 18:34:23 +01:00
  • af3fda5951 PromoteCSV: tag init_ functions with register Alessandro Di Federico 2023-01-02 12:59:20 +01:00
  • e3152bb68c SystemV_x86_64: ignore fs register Alessandro Di Federico 2023-01-02 12:58:02 +01:00
  • 2b4cfafe55 revng.api: Fix file upload/buffer reading Giacomo Vercesi 2023-02-15 16:01:17 +01:00
  • 5c6274aff7 Yield/SVG: fix xmlns attribute value Giacomo Vercesi 2023-02-15 16:01:07 +01:00
  • 24a5705e12 Importer: Attach attributes when copying types Djordje Todorovic 2023-02-01 11:13:15 +01:00
  • 230036d5b1 Introduce TrackingContainer Massimo Fioravanti 2023-02-08 17:39:30 +01:00
  • 2e329b2d0a Merge branch 'feature/no-error-list' Alessandro Di Federico 2023-02-09 14:15:01 +01:00
  • 9eb33bcf8e check-convention: fix detection of asserts Massimo Fioravanti 2023-02-07 17:09:52 +01:00
  • 95ec36eea3 Fix error messages capitalization Massimo Fioravanti 2023-02-07 14:37:35 +01:00
  • 68ae1c986c DiffErrors now use DiffLocations Massimo Fioravanti 2023-02-06 16:18:17 +01:00
  • 6f3dc255cf revng.api: adopt rp_error Giacomo Vercesi 2023-02-06 15:53:08 +01:00
  • 2521ef434a Rework PipelineC errors Massimo Fioravanti 2023-02-06 13:09:03 +01:00
  • 4dc2e92782 Introduce DocumentError Massimo Fioravanti 2022-11-22 16:32:54 +01:00
  • 4d0eb7eecb Merge branch 'feature/hitman-vscode' Alessandro Di Federico 2023-02-09 12:14:18 +01:00
  • 7edfffbbf8 DuplicateReferences: fix for chains of IsRef ops Pietro Fezzardi 2023-02-08 18:12:53 +01:00
  • 66434db5f9 Don't use named metadata revng.segment_ref Pietro Fezzardi 2023-02-07 17:03:55 +01:00
  • 5b94a5a649 HelpersToHeaders: skip unnecessary helpers Kacper Kołodziej 2023-02-02 12:16:40 +01:00
  • 0e9431737f YieldAssembly: fix jump addresses Giacomo Vercesi 2023-01-16 18:30:55 +01:00
  • 275e3943f7 daemon: rework starlette startup code Giacomo Vercesi 2023-01-11 18:06:55 +01:00
  • 31bb77237f typescript: add setElementByPath function Giacomo Vercesi 2023-01-05 15:33:47 +01:00
  • 8a780a58aa GraphQL: return binaries in b64 Giacomo Vercesi 2022-12-21 18:06:03 +01:00
  • 82c3962a3c Add GZip Middleware Giacomo Vercesi 2022-12-22 09:47:16 +01:00
  • 23b8ed8dbe revng.daemon: allow extra middlewares Giacomo Vercesi 2022-08-29 15:52:08 +02:00
  • 88e972c57c revng fifo events: move handling to daemon Giacomo Vercesi 2022-08-29 15:27:43 +02:00
  • fc93198e25 revng daemon: Fix resolve_step_artifacts Giacomo Vercesi 2023-01-17 16:24:09 +01:00
  • 52ff853d00 revng daemon: Fix CORS allowed headers Giacomo Vercesi 2023-01-17 16:22:46 +01:00
  • 6f475d1368 revng.api: Fix signature of Target.kind Giacomo Vercesi 2023-01-17 16:20:24 +01:00
  • aa09b17964 PipelineC: fix rp_container_extract_one Giacomo Vercesi 2023-01-17 16:18:37 +01:00
  • aa344d4122 revng daemon: add -b none Giacomo Vercesi 2023-01-17 16:15:49 +01:00
  • 23cd7f871a revng daemon: fix project-id checking Giacomo Vercesi 2023-01-17 16:12:01 +01:00
  • 1e1d3b4920 rcc: fix off-by-one in line reporting Giacomo Vercesi 2022-12-01 15:02:40 +01:00
  • 72b32dafa2 MakeModelGEP: array accesses jumping many elements Pietro Fezzardi 2023-02-07 07:56:11 +01:00
  • a910d3b5c9 Merge branch 'feature/import-types' Alessandro Di Federico 2023-02-06 17:14:33 +01:00
  • 69e8615c9f Introduce test for Segment.Type importing feature/import-types Antonio Frighetto 2023-01-17 18:04:33 +01:00
  • ab36efca8d Model: import data objects in Segment.Type Antonio Frighetto 2022-12-20 13:34:09 +01:00
  • b89c3e9332 Merge branch 'feature/no-error-list-preliminaries' Alessandro Di Federico 2023-02-06 09:37:52 +01:00
  • 87dec68f24 Pipeline: refine overestimated targets Antonio Frighetto 2022-08-31 16:07:06 +02:00
  • 7c671ed6de TupleTreeDiff: evict cached references in apply Antonio Frighetto 2022-11-08 16:50:55 +01:00
  • 15fcf98446 ProcessCallGraph: fix access to Metadata Antonio Frighetto 2022-10-25 18:46:01 +02:00
  • f73b9876fa FunctionIsolation: execute CollectCFG earlier Antonio Frighetto 2022-10-06 12:31:33 +02:00
  • 17f799e3c2 Move ProcessCallGraph pipe within Isolate Antonio Frighetto 2022-08-30 18:11:06 +02:00
  • 2d086e04a1 Context: fix entry in containsReadOnlyContainer Antonio Frighetto 2022-08-29 17:07:38 +02:00
  • 8ca4c4c6ea Runner: bail out with no requests target Antonio Frighetto 2022-09-01 17:42:17 +02:00
  • 308d8ee8a3 Loader: associate container name to its role Antonio Frighetto 2022-08-24 14:43:30 +02:00
  • c91a44363a Yield: split internal pipes off Antonio Frighetto 2022-10-11 15:04:33 +02:00
  • 9432399254 Introduce ApplyDiffAnalysis Massimo Fioravanti 2022-09-01 12:40:55 +02:00