Commit Graph

  • 995d44cf73 Implement Location::{parent,back} Alessandro Di Federico 2023-04-06 08:58:15 +02:00
  • 52ee85f55f Implement efa::BasicBlock::contains Alessandro Di Federico 2023-04-06 08:58:15 +02:00
  • 0c991af685 AVI: after function_call, jump to anypc Alessandro Di Federico 2023-03-05 11:31:33 +01:00
  • f313a72453 DropHelperCalls: pass in loaded CSVs, not pointers Alessandro Di Federico 2023-03-05 11:21:43 +01:00
  • 19d59ffd73 Implement Segment::dump Alessandro Di Federico 2023-02-25 20:38:53 +01:00
  • 6564fc0568 Minor changes Alessandro Di Federico 2023-04-06 08:58:15 +02:00
  • cdf1654f36 CSAA: do not use ptr, use pointee type Alessandro Di Federico 2023-04-06 14:33:31 +02:00
  • bc4833078c Fix InstCombine constructor invocation Alessandro Di Federico 2023-03-05 11:19:35 +01:00
  • 1fa34fff9e revng opt: force legacy pass manager Alessandro Di Federico 2023-02-28 09:07:18 +01:00
  • e73543e430 AsmCall: add parameter attribute for element type Alessandro Di Federico 2023-02-25 18:09:58 +01:00
  • a0c0cd9468 extractFromConstantStringPtr: no stripPointerCasts Alessandro Di Federico 2023-02-25 17:30:07 +01:00
  • f7f47ceac6 VariableManager: drop autodetection of ${ARCH}CPU Alessandro Di Federico 2023-02-25 16:38:47 +01:00
  • 71f754f811 PDBImporter: declare our own FilterOptions Alessandro Di Federico 2023-02-25 15:28:07 +01:00
  • de90eea243 Adopt get{Max,}PointerSizeInBits Alessandro Di Federico 2023-02-25 15:03:51 +01:00
  • 53715af613 Adopt {PassBuilder::,}OptimizationLevel::O2 Alessandro Di Federico 2023-02-25 15:03:41 +01:00
  • 5be2c94a1b Fix literal signedness in comparisons Alessandro Di Federico 2023-02-25 15:01:49 +01:00
  • 0570db6873 Drop dead llvm::initialize* invocations Alessandro Di Federico 2023-02-25 15:00:57 +01:00
  • daafc6a1e7 AVI: handle SCEV's scSequentialUMinExpr Alessandro Di Federico 2023-02-25 15:00:35 +01:00
  • 348ccec09b Adopt new llvm::MCContext constructor Alessandro Di Federico 2023-02-25 14:55:07 +01:00
  • 171ba353e5 Adopt llvm/{Support,MC}/TargetRegistry.h Alessandro Di Federico 2023-02-25 14:50:24 +01:00
  • bcd374038c s/zextOrSelf/zext/g Alessandro Di Federico 2023-02-25 14:27:59 +01:00
  • 6c115da619 Update pass names Alessandro Di Federico 2023-02-25 14:24:12 +01:00
  • 4182a94346 Adopt MemoryEffects::none Alessandro Di Federico 2023-04-06 08:58:15 +02:00
  • ae871f5062 Adopt setOnlyReadsMemory Alessandro Di Federico 2023-02-25 17:55:50 +01:00
  • 43fd690ea8 InaccessibleMemOnly: adopt MemoryEffects Alessandro Di Federico 2023-02-25 14:20:35 +01:00
  • e131817334 Drop usage of Type::getPointerElementType Alessandro Di Federico 2023-02-25 16:03:45 +01:00
  • a0fa150576 Drop usages of LoadInst::getPointerOperandType Alessandro Di Federico 2023-02-25 15:31:10 +01:00
  • 7a08d51816 Drop usages of PointerType::getElementType Alessandro Di Federico 2023-02-25 14:03:48 +01:00
  • f777ccc4d3 Replace llvm::sys::fs::F_None with OF_None Alessandro Di Federico 2023-02-25 13:56:45 +01:00
  • 26765f3d84 Drop usages of getBasicBlockList Alessandro Di Federico 2023-02-25 14:43:00 +01:00
  • a99d54457b Drop usages of getInstList Alessandro Di Federico 2023-02-25 13:52:00 +01:00
  • aa6a60c5b8 Adopt new InlineFunction prototype Alessandro Di Federico 2023-02-25 13:43:01 +01:00
  • 449e95021a Replace CallBase::getNumArgOperands with arg_size Alessandro Di Federico 2023-02-25 13:33:47 +01:00
  • 06f9bca598 Adopt {add,remove}FnAttribute Alessandro Di Federico 2023-02-25 13:31:11 +01:00
  • 394111ed40 Add missing includes Alessandro Di Federico 2023-02-25 13:29:04 +01:00
  • d2caa1fad0 Make CreateLoad usages opaque pointers-compatible Alessandro Di Federico 2023-02-25 13:21:36 +01:00
  • dbcdad0a4d Switch from llvm::Optional to std::optional Alessandro Di Federico 2023-02-25 12:26:18 +01:00
  • 389342411a Drop makeArrayRef Alessandro Di Federico 2023-02-25 12:25:56 +01:00
  • 1454ba6ebb Link to the LLVMTargetParser library Alessandro Di Federico 2023-02-25 15:34:39 +01:00
  • 5ed9432a68 Fix ambiguous template function Alessandro Di Federico 2023-02-25 11:17:18 +01:00
  • 564519b6f9 Explicitly add -L for LLVM libraries path Alessandro Di Federico 2023-02-25 11:13:57 +01:00
  • e3f9519ffc Get rid of std::iterator Alessandro Di Federico 2023-02-25 11:13:34 +01:00
  • 31b46de38c Remove dead code and fix spurious warnings Alessandro Di Federico 2023-02-25 11:12:52 +01:00
  • 74ae629853 Drop experimental from coroutines Alessandro Di Federico 2023-02-25 11:12:05 +01:00
  • 52521f8cac Adopt more standard library's features Alessandro Di Federico 2023-02-25 11:11:04 +01:00
  • b2f22c168f Adopt clang-format 16 Alessandro Di Federico 2023-02-25 16:42:15 +01:00
  • 79bbd8b260 commands_registry.py: drop dict comprehension Alessandro Di Federico 2023-04-06 15:32:09 +02:00
  • fc3f106640 Pipeline: fix accidental container materialization Massimo Fioravanti 2023-04-07 14:34:48 +02:00
  • 663bed90cc Avoid cstringLiteral in operands of local variable Pietro Fezzardi 2023-04-06 23:32:08 +02:00
  • 28713ba7fe MakeModelGEPPass.cpp: drop leftover debug log Pietro Fezzardi 2023-04-06 22:53:36 +02:00
  • f53ed2cdbd Merge branch 'feature/backend-memory-usage' Pietro Fezzardi 2023-04-06 14:58:17 +02:00
  • b1e357eb36 Forbid use of llvm::GlobalVariables in C backend Pietro Fezzardi 2023-04-06 12:39:51 +02:00
  • a37dc1cd77 DecompileFunction.cpp: statement-based emission Pietro Fezzardi 2023-04-06 12:34:24 +02:00
  • ca1fd101db Add opaque function to LLVM test helpers Pietro Fezzardi 2023-04-06 14:11:25 +02:00
  • 8665cfd4d1 Add opaque function to LLVM test helpers feature/backend-memory-usage Pietro Fezzardi 2023-04-06 14:11:25 +02:00
  • eec66f1880 AddAssignmentMarkerPass: stop ignoring helpers Pietro Fezzardi 2023-04-06 12:29:59 +02:00
  • 6776f1349b MarkAssignmentsTest: drop useless allocas Pietro Fezzardi 2023-04-06 12:03:49 +02:00
  • 7edc9eeecc Void instructions never needsTopScopeDeclarations Pietro Fezzardi 2023-04-06 12:01:48 +02:00
  • 2159dbbdc7 Merge branch 'feature/cstring-literals' Alessandro Di Federico 2023-04-04 11:03:21 +02:00
  • d7cfb96331 Improve hasSideEffects for llvm Intrinsics Pietro Fezzardi 2023-03-24 15:51:35 +01:00
  • 1dbc9b7e1b MarkAssignments.cpp: fix HasInterferingSideEffects Pietro Fezzardi 2023-03-24 15:37:01 +01:00
  • fa2d721c81 DecompileFunction.cpp: drop support for load/store Pietro Fezzardi 2023-03-24 15:35:56 +01:00
  • 53c39d32f2 DecompileFunction.cpp: drop support for allocas Pietro Fezzardi 2023-03-22 08:56:22 +01:00
  • f2134c2966 Merge branch 'feature/cstring-literals' Pietro Fezzardi 2023-04-04 09:31:50 +02:00
  • fe7df1ae75 Add -Wno-pointer-sign to compile-flags.cfg Pietro Fezzardi 2023-02-22 18:03:52 +01:00
  • daead39e60 Check signedness of char in revng-primitive-types.h Kacper Kołodziej 2023-02-21 12:15:32 +01:00
  • 3038dd179f Add binary to MakeSegmentRefs containers in pipeline Kacper Kołodziej 2022-12-12 17:27:50 +01:00
  • 9decc1fe51 DLA Frontend: Create nodes for StringLiterals Kacper Kołodziej 2023-02-17 15:50:27 +01:00
  • 3776c9a382 Add case for StringLiteral in getExpectedModelType Kacper Kołodziej 2023-02-21 15:42:49 +01:00
  • 3dd647cb28 Handle StringLiteral tag in InitModelTypes Kacper Kołodziej 2023-01-13 14:54:25 +01:00
  • c61c59c474 Handle StringLiteral tag in DecompileFunction Kacper Kołodziej 2023-01-11 14:33:54 +01:00
  • 2445c5e740 MakeSegmentRefPass: emit cstringLiteral Kacper Kołodziej 2022-12-12 09:19:00 +01:00
  • f83cb94e1f Add StringLiteral tag and corresponding f. pool Kacper Kołodziej 2023-01-11 14:33:31 +01:00
  • bbebdd44b4 Prefer String.empty() case first Kacper Kołodziej 2023-03-27 11:11:25 +02:00
  • 17b0ecd78a Compare to nullptr instead of implicit cast Kacper Kołodziej 2023-03-27 11:10:45 +02:00
  • e7bb7d09df Rename getStrByAddress to getStringByAddress Kacper Kołodziej 2023-03-27 11:05:40 +02:00
  • 8801fc3b33 Support empty strings in getUniqueString Pietro Fezzardi 2023-03-17 02:01:18 +01:00
  • 91af14007f Assert non-empty namespace in getUniqueString Pietro Fezzardi 2023-02-07 16:29:32 +01:00
  • ec17b36801 Fix attributes of build_PlainMetaAddress function Pietro Fezzardi 2023-03-03 17:56:09 +01:00
  • 4c2602e956 RawBinaryView: add getStrByAddress method Pietro Fezzardi 2023-03-02 00:18:27 +01:00
  • 1b8801c9dc Add RawBinaryView::isReadOnly method Kacper Kołodziej 2023-02-15 09:09:18 +01:00
  • d281d1fa05 Add --binary argument to llvm_pipeline.py Kacper Kołodziej 2023-01-09 09:56:30 +01:00
  • f7c796553b ContainerSet: fix typo Giacomo Vercesi 2023-03-30 13:54:02 +02:00
  • 6e56fedc80 Prefer String.empty() case first feature/cstring-literals Kacper Kołodziej 2023-03-27 11:11:25 +02:00
  • c0781ae4c2 Compare to nullptr instead of implicit cast Kacper Kołodziej 2023-03-27 11:10:45 +02:00
  • 23c8c199a1 Rename getStrByAddress to getStringByAddress Kacper Kołodziej 2023-03-27 11:05:40 +02:00
  • 19e937c9bf Support empty strings in getUniqueString Pietro Fezzardi 2023-03-17 02:01:18 +01:00
  • e294be2424 Assert non-empty namespace in getUniqueString Pietro Fezzardi 2023-02-07 16:29:32 +01:00
  • 43297efad0 Fix attributes of build_PlainMetaAddress function Pietro Fezzardi 2023-03-03 17:56:09 +01:00
  • 022aeb0df3 RawBinaryView: add getStrByAddress method Pietro Fezzardi 2023-03-02 00:18:27 +01:00
  • b36bd3bd6c Add RawBinaryView::isReadOnly method Kacper Kołodziej 2023-02-15 09:09:18 +01:00
  • 2cfcb3c1f5 Add --binary argument to llvm_pipeline.py Kacper Kołodziej 2023-01-09 09:56:30 +01:00
  • 94676ffde8 Merge branch 'feature/analyses-list' Alessandro Di Federico 2023-03-23 11:33:31 +01:00
  • 2e96e09f63 Drop analyze-all feature/analisys-tags Giacomo Vercesi 2023-01-18 15:00:05 +01:00
  • af237074f3 Implement AnalysesList in Python API & GraphQL Giacomo Vercesi 2023-01-18 12:15:19 +01:00
  • 23286dc58f GraphQL: expose analysis options Giacomo Vercesi 2023-01-18 11:37:14 +01:00
  • 1f097bb46a revng.api: Fix leftover snake_case in as_dict Giacomo Vercesi 2023-01-18 14:08:13 +01:00
  • a926ca8fcb revng: make cmd tools analysesList-aware Giacomo Vercesi 2023-01-30 10:40:19 +01:00
  • 0373732b69 Add auto-analysis list Massimo Fioravanti 2022-12-22 12:00:00 +01:00
  • 312e2e8d53 Add analyses lists Massimo Fioravanti 2022-12-21 13:22:38 +01:00