Commit Graph

  • da9e6094d3 Introduce Label::hasValue Alessandro Di Federico 2019-09-19 20:25:27 +02:00
  • d83eca0902 Use ConstantExpr::isCast() Alessandro Di Federico 2019-09-19 19:53:58 +02:00
  • cb803dce70 BinaryFile::parseELF: fix labels creation Alessandro Di Federico 2019-09-19 20:24:12 +02:00
  • a52fb24e02 Various improvements to StackAnalysis Alessandro Di Federico 2019-09-19 20:23:50 +02:00
  • 78dafb04da IFI::cloneInstruction: handle ConstantAggregate Alessandro Di Federico 2019-09-19 19:56:13 +02:00
  • 72fc95bda9 Purge OriginalInstructionAddresses when deleting Alessandro Di Federico 2019-09-20 09:09:02 +02:00
  • 8deab9c7ea Whitespace and other minor changes Alessandro Di Federico 2019-09-19 20:22:30 +02:00
  • 6e2fa0c9cb Switch to llvm 10 Pietro Fezzardi 2020-03-25 17:34:49 +01:00
  • 2d7463f190 Fix C++ Standard includes in ReachabilityPass Pietro Fezzardi 2020-02-05 14:52:06 +01:00
  • 00ae2f70fc CMakeLists.txt: add project name Pietro Fezzardi 2020-01-16 11:23:03 +01:00
  • 98c1c38b55 RegionCFGTree: drop old TransformIterators Pietro Fezzardi 2020-03-03 01:15:36 +01:00
  • c1a768ff21 Drop InstructionTranslator::ForceNewPC Alessandro Di Federico 2020-03-02 12:38:01 +01:00
  • 5d0f5fef71 Drop TransformIterator Pietro Fezzardi 2020-02-27 12:06:01 +01:00
  • 469ef9cae8 Rename emit to flush in Debug.h Alain Carlucci 2019-10-24 10:53:35 +02:00
  • 2896664cab JTM::readFromPointer: handle ConstantNullPointer Andrea Gussoni 2019-05-29 11:00:32 +02:00
  • 890be7d6a2 Uniform dumpToString interface Pietro Fezzardi 2019-06-21 14:42:40 +02:00
  • a0102592b5 Lifting non-x86 dynamic ELFs: fix error message Pietro Fezzardi 2019-11-12 16:13:36 +01:00
  • 0c05c0c75b AVI: handle ConstantPointerNull and UndefValue Andrea Gussoni 2020-01-20 11:47:22 +00:00
  • 433ce5613b Drop old useless header MemoryAccess.h Pietro Fezzardi 2020-01-24 09:24:17 +01:00
  • ae948500eb Move LLVM header where it's really needed Pietro Fezzardi 2019-12-19 15:11:38 +01:00
  • 6d5699c174 Unit Tests: replace revng_assert with revng_check Pietro Fezzardi 2020-02-20 11:08:36 +01:00
  • ebb8673551 Merge branch 'feature/qa' Alessandro Di Federico 2020-02-21 00:20:12 +01:00
  • 12d093b459 Rethink testing Alessandro Di Federico 2020-02-19 11:53:23 +01:00
  • e5a5ff77c4 Ignore -Wunused-variable Alessandro Di Federico 2020-02-20 12:16:12 +01:00
  • 525325d1c6 Add revng translate --output Alessandro Di Federico 2020-02-19 12:19:11 +01:00
  • 0a79b3d0f2 scripts/revng: fix order of post -- arguments Alessandro Di Federico 2020-02-19 12:18:51 +01:00
  • 0901fd7024 Reintroduce BOOST_TEST_DYN_LINK Alessandro Di Federico 2020-02-11 17:23:14 +01:00
  • f119be85e2 Always build with -Wextra Pietro Fezzardi 2019-11-22 14:38:40 +01:00
  • 58428bdd4a IteratorWrapper: use implicit copy constructor Pietro Fezzardi 2019-11-22 14:35:48 +01:00
  • 67e762d668 Add breaks to switch to remove warnings Pietro Fezzardi 2019-11-22 14:09:44 +01:00
  • 109cea3496 Merge branch 'feature/llvm-9' Alessandro Di Federico 2020-01-22 12:53:42 +01:00
  • 1ccc7ec3d4 Cleanup RPATH management Alessandro Di Federico 2020-01-22 11:05:26 +01:00
  • 2006e5cd3c Expose CMake's add_flag_if_available Alessandro Di Federico 2020-01-22 11:04:26 +01:00
  • fc2912ca32 enforce clang-format Pietro Fezzardi 2019-11-22 16:05:11 +01:00
  • 5501434caa Add -Wextra, -Wstrict-aliasing, -fno-exceptions Pietro Fezzardi 2019-11-25 15:29:19 +01:00
  • 491e1b9aad Switch to c++2a Pietro Fezzardi 2019-11-25 15:29:04 +01:00
  • c3a6a09f11 Upgrade to llvm-9 Pietro Fezzardi 2019-11-21 19:11:13 +01:00
  • 2feaa47737 Fix use of boost unit_test_framework Pietro Fezzardi 2020-01-15 18:06:31 +01:00
  • e4df18f851 HACK: fix 128 uint and int emission Andrea Gussoni 2019-11-08 14:55:23 +01:00
  • 86f35b6d93 Various Untangle improvements Andrea Gussoni 2019-11-13 16:33:05 +01:00
  • f0bedc973e Improve graph weight computation Andrea Gussoni 2019-11-13 16:24:24 +01:00
  • 30bc1d333e Decompile a single function Andrea Gussoni 2019-11-06 11:41:34 +01:00
  • 76404c8fd1 Prevent Logger::emit to clash with Qt emit keyword Pietro Fezzardi 2020-01-09 16:40:56 +01:00
  • 5a4e47c535 CDecompilerBeautify: fix wrong switch fallthrough Pietro Fezzardi 2019-07-29 16:39:56 +02:00
  • ed00c19a12 Switch to the Boost CMake package Alessandro Di Federico 2019-11-24 22:48:23 +01:00
  • b6658df052 Fix various warnings Alessandro Di Federico 2019-11-24 22:47:59 +01:00
  • 229a93367c Switch to C++20 Alessandro Di Federico 2019-11-24 22:47:06 +01:00
  • 72f9c633d4 Make ConstantRangeSet LLVM 9-compliant Alessandro Di Federico 2019-11-21 20:14:04 +01:00
  • 7b2744f0ab Register ModuleAnalysisManager in new PassManager Alessandro Di Federico 2019-11-21 20:45:57 +01:00
  • cd41d055f4 DIBuilder::createFunction now takes SPFlags Alessandro Di Federico 2019-11-21 20:45:29 +01:00
  • ae8da14d46 Adopt FunctionCallee Alessandro Di Federico 2019-11-21 20:45:07 +01:00
  • 0eb1bb583f Remove TerminatorInst Alessandro Di Federico 2019-11-21 20:19:04 +01:00
  • 3818a4fcc6 Drop ConstantRange::ConstantRange Alessandro Di Federico 2019-11-21 20:14:44 +01:00
  • 650d255e74 add revng_unreachable in unexpected ASTNode kind Pietro Fezzardi 2019-11-15 17:46:51 +01:00
  • b5c00f7dfc Fix inclusion and library linking Andrea Gussoni 2019-11-06 11:48:54 +01:00
  • de70a09c7a Fix gcc warnings related to default switch case Andrea Gussoni 2019-11-06 14:54:05 +01:00
  • 1e22c1cebb Fix ReachabilityPass Andrea Gussoni 2019-11-06 12:28:20 +01:00
  • 46e8447032 Fix indentation Andrea Gussoni 2019-11-06 11:56:19 +01:00
  • c6c6f19535 Enforce check-conventions Pietro Fezzardi 2019-11-05 15:18:23 +01:00
  • 94e6a47f33 Import check-conventions.sh script from revng Pietro Fezzardi 2019-11-05 15:19:01 +01:00
  • 429233f054 Fix more warnings left from -Weverything Pietro Fezzardi 2019-10-31 16:15:08 +01:00
  • 3c3ebc56a1 Fix preprocessing passes needed by DecompilerPass Andrea Gussoni 2019-11-05 11:10:14 +01:00
  • 8b8301b33d Fix for PHI assignement pass Andrea Gussoni 2019-11-05 10:44:59 +01:00
  • 3a830f532d Fix debug dots directory creation Andrea Gussoni 2019-11-04 18:21:29 +01:00
  • dc77551f83 HACK: fix emission of return statements Andrea Gussoni 2019-11-04 16:50:40 +01:00
  • 335dc34ad1 Fix -Wshadow Andrea Gussoni 2019-11-04 14:56:44 +01:00
  • 46265f6eaf Fix -Wextra-semi Andrea Gussoni 2019-11-04 12:25:15 +01:00
  • 8255661b8b Fix BasicBlockNodeBB in ASTNode namespace Andrea Gussoni 2019-11-04 11:55:02 +01:00
  • f95899c7ac Fix LLVM-style RTTI destruction for ASTNode Pietro Fezzardi 2019-06-24 17:05:23 +02:00
  • cb58b8a526 Fix destruction of ExprNodes class hierarchy Pietro Fezzardi 2019-06-21 17:23:14 +02:00
  • 81a1c9c1e1 Remove Liveness again Pietro Fezzardi 2019-06-06 15:27:46 +02:00
  • b0c191f188 Fix path for dot files for debug Andrea Gussoni 2019-10-29 15:28:59 +01:00
  • 5fe551a188 Fix destructors and warnings for ExprNodes Pietro Fezzardi 2019-05-24 18:20:25 +02:00
  • b214dd1921 Enforce check-conventions.sh Andrea Gussoni 2019-10-29 15:25:20 +01:00
  • 560a345a2c Enforce -Weverything extensively Andrea Gussoni 2019-10-29 14:35:27 +01:00
  • 7cae83a3bb Template instance declaration for -Weverything Andrea Gussoni 2019-10-29 10:40:48 +01:00
  • 812708de96 Remove virtual calls from ASTNodes Pietro Fezzardi 2019-05-23 16:02:11 +02:00
  • 02ea1e5f94 Fix warnings emerged with -Wextra and -Weverything Pietro Fezzardi 2019-05-23 12:21:54 +02:00
  • 569ec5658e Add and enforce -Wall and -Werror Pietro Fezzardi 2019-05-23 11:23:12 +02:00
  • d247745df8 revng: informative error message on missing file Alessandro Di Federico 2019-09-04 11:50:25 +02:00
  • 25ede62813 Link librevngSupport to libLLVMSupport Alessandro Di Federico 2019-09-04 11:49:55 +02:00
  • 8d664c1588 Fix RPATHs Alessandro Di Federico 2019-09-03 18:46:44 +02:00
  • fdda9fdd70 Collect metrics about duplication Andrea Gussoni 2019-07-30 18:24:16 +02:00
  • 4bead538a7 Collect metrics about short circuit simplification Andrea Gussoni 2019-07-30 17:49:49 +02:00
  • b6646b692e HACK: requiresNoStatement always true Andrea Gussoni 2019-07-30 17:38:36 +02:00
  • 8eb5abaaeb Fix emission computation for continue nodes Andrea Gussoni 2019-07-30 17:23:15 +02:00
  • 52faffb5eb Fix emission of literal constants Andrea Gussoni 2019-07-30 17:19:32 +02:00
  • 520e6fa0fd Do not emit the else when not necessary Andrea Gussoni 2019-07-30 16:40:04 +02:00
  • 2aa9f38e63 Fix the PHIASAPAssignementiInfo pass Andrea Gussoni 2019-07-30 14:34:01 +02:00
  • 9127dba961 TEMP: soft fail Andrea Gussoni 2019-07-23 09:10:04 +00:00
  • 9e4a9b2484 TEMP: Soft fail for decompilation Andrea Gussoni 2019-07-23 09:09:47 +00:00
  • 39961f0ec3 Fix switch matching Andrea Gussoni 2019-06-13 12:21:07 +00:00
  • 1daf3662f3 DIRTY: handle the array tipe of CPUState struct Andrea Gussoni 2019-06-13 12:20:19 +00:00
  • 637205dd0e Handle InserValue instruction with init Andrea Gussoni 2019-06-13 12:14:47 +00:00
  • 11298108ff Handle variadic functions in decompilation Andrea Gussoni 2019-06-13 12:10:38 +00:00
  • 981389d80a revng: handle different version of pyelftools Alessandro Di Federico 2019-06-06 17:39:42 +02:00
  • 5d559367a4 PTCDump.cpp: use strncpy as appropriate Alessandro Di Federico 2019-05-28 21:32:40 +02:00
  • e445201b94 Restore getBasicBlockPC and fix FunctionIsolation Alessandro Di Federico 2019-05-28 16:49:07 +02:00
  • bf9c6fa137 Merge branch 'feature/improve-robustness' Alessandro Di Federico 2019-05-27 19:50:25 +02:00
  • 707ec7c1fa Introduce preliminary Mach-O support Alessandro Di Federico 2019-04-11 17:54:36 +02:00