Commit Graph

  • 960286f419 Reorder Boost includes Alessandro Di Federico 2018-04-23 23:09:19 +02:00
  • 38a67f2ad5 Enforce new convention for switch's breaks Alessandro Di Federico 2018-04-23 23:00:54 +02:00
  • d57b8b3ab4 Various minor whitespace/case changes Alessandro Di Federico 2018-04-24 08:51:29 +02:00
  • 57fae6ebb1 Functions in header files should be inline only Alessandro Di Federico 2018-04-23 18:46:43 +02:00
  • 384c317ef1 Introduce using to increase readibility Alessandro Di Federico 2018-04-23 08:51:49 +02:00
  • 34d216eb0a Create temporary variables to increase readibility Alessandro Di Federico 2018-04-23 08:46:46 +02:00
  • a566130825 Outline lambdas Alessandro Di Federico 2018-04-23 08:45:05 +02:00
  • 31e5d1c96f Add braces around else Alessandro Di Federico 2018-04-23 08:43:30 +02:00
  • 037fca46ae Check 80 columns limit Alessandro Di Federico 2018-09-21 11:37:03 +02:00
  • 6cfabd96f8 Prevent committing WIP code Alessandro Di Federico 2018-09-21 10:29:40 +02:00
  • 5513ae606c Force the text segment at 0x20000 on ARM Alessandro Di Federico 2018-09-21 17:12:27 +02:00
  • 500d77f43e Register and add among JT reasons FunctionSymbol Andrea Gussoni 2018-04-26 18:19:06 +02:00
  • 6e642ea6f9 Add support for pyelftools >= 0.25 Pietro Fezzardi 2018-09-20 14:46:06 +02:00
  • 1aa65aa211 Fix trivial bug in test_stackanalysis Alessandro Di Federico 2018-09-19 19:59:10 +02:00
  • cce1a9684c Fixes to suppress GCC 8 warnings Pietro Fezzardi 2018-08-30 15:09:38 +02:00
  • 626c30b905 Revert workaround for NDEBUG-related linkage issue Pietro Fezzardi 2018-08-30 15:06:29 +02:00
  • ce6f062547 Merge branch 'feature/arguments-detection' Alessandro Di Federico 2018-09-18 16:03:16 +02:00
  • 7fe00c08dd Rewrite the stack and introduce the ABI analyses Alessandro Di Federico 2018-08-31 08:43:19 +02:00
  • 4557c91457 FilePortion: force members initialization Alessandro Di Federico 2018-09-13 22:55:38 +02:00
  • e82635ee0b Introduce function_call-related helpers Alessandro Di Federico 2018-08-31 08:39:35 +02:00
  • 8eb532d73c Introduce StreamWrapper Alessandro Di Federico 2018-08-31 08:35:08 +02:00
  • e6bc62f760 Twine: use them only as const Twine & arguments Alessandro Di Federico 2018-08-31 08:40:26 +02:00
  • 25278f2e03 revamb-dump: -T option for dumping statistics Alessandro Di Federico 2018-08-31 08:36:48 +02:00
  • 770d61b00f Drop assertion on QueueImpl Alessandro Di Federico 2018-08-31 08:34:48 +02:00
  • 0121ddfde4 Minor whitespace and formatting changes Alessandro Di Federico 2018-08-31 08:34:23 +02:00
  • c9c884d809 Introduce SmallMap::erase Alessandro Di Federico 2018-08-31 08:32:45 +02:00
  • fb7ad64070 CMake: one argument per line Alessandro Di Federico 2018-08-31 08:32:27 +02:00
  • ee2ab2978e Reorganize enums in namespaces with functions Alessandro Di Federico 2018-08-31 08:28:53 +02:00
  • 82ab7869d9 Doxygen: parse files from git ls-files Alessandro Di Federico 2018-08-31 08:24:24 +02:00
  • 2c7e0ee50b Drop some leftover "Lol" variables Alessandro Di Federico 2018-08-31 08:41:05 +02:00
  • 6b39f031e1 Generate as much debug info as possible in tests Alessandro Di Federico 2018-08-20 16:07:28 +02:00
  • 51009347a2 Introduce CounterMap for collecting statistics Alessandro Di Federico 2018-08-20 16:06:49 +02:00
  • 198ccd83b7 OSRA: handle the bswap intrinsic Alessandro Di Federico 2018-08-20 16:04:49 +02:00
  • 149da95610 OSRA: ignore constants wider than 64 bits Alessandro Di Federico 2018-08-20 16:04:34 +02:00
  • f6753e7287 Make getModule(nullptr) return nullptr Alessandro Di Federico 2018-08-20 16:04:07 +02:00
  • a114f60299 New JTReason: ReturnAddress Alessandro Di Federico 2018-08-20 16:02:11 +02:00
  • d31af260c1 revamb-dump: stop Callgrind while loading LLVM IR Alessandro Di Federico 2018-08-20 16:01:15 +02:00
  • 92253e23b2 Fixed typos in revamb documentation Niccolò Izzo 2017-05-04 18:49:32 +02:00
  • 9a85cc3a04 Introduce check-conventions.sh, .clang-format Alessandro Di Federico 2018-04-23 23:40:42 +02:00
  • a0f4e0bb41 Introduce new assertion framework Alessandro Di Federico 2018-08-18 16:21:20 +02:00
  • aa0d846bfc Merge branch 'feature/pie' Alessandro Di Federico 2018-08-18 11:46:30 +02:00
  • f2e1ea68f1 OSRA: improve handling of equality comparisons Alessandro Di Federico 2018-08-17 21:50:02 +02:00
  • 88e2a6eff1 OSRA: improve handling of unsigned comparisons Alessandro Di Federico 2018-08-17 21:42:02 +02:00
  • 8773186ef1 OSRA: handle identical-but-negated conditions Alessandro Di Federico 2018-08-17 21:25:05 +02:00
  • 85a000089f merge-dynamic.py: generate .hash section Alessandro Di Federico 2018-08-17 21:16:11 +02:00
  • b4b0b7bce9 FCI: API for fallthrough BasicBlocks Alessandro Di Federico 2018-08-17 21:14:04 +02:00
  • 2d23bb525b Introduce dump for OSR and BoundedValue Alessandro Di Federico 2018-08-17 21:11:53 +02:00
  • c4965a811b OSRA: fix iteration over BV with no upper bound Alessandro Di Federico 2018-08-17 21:08:49 +02:00
  • fbfa6a9b6d OSRA: a BV is constant only if not negated Alessandro Di Federico 2018-08-17 21:07:35 +02:00
  • 6a6cfff17d Introduce support for dynamic objects (PIE) Alessandro Di Federico 2018-08-04 17:48:53 +02:00
  • 59e84c658e Consider absolute memory accesses in RDA Alessandro Di Federico 2018-08-04 17:46:23 +02:00
  • 703139b1a3 Fix the name of the QEMU syscall helper for i386 Pietro Fezzardi 2018-07-10 16:55:28 +02:00
  • ecbbc2ea52 Fix offsets computed in computeAggregatedOffsets() Pietro Fezzardi 2018-07-10 16:49:59 +02:00
  • 068d61c5b8 Fix assertion in CSVOffsets::combine() Pietro Fezzardi 2018-06-27 16:20:21 -07:00
  • 1b93235522 Merge branch 'feature/s390x-support' Alessandro Di Federico 2018-06-19 08:17:12 +02:00
  • a1d5fc34a3 Add support for s390x Pietro Fezzardi 2018-02-21 14:31:20 +01:00
  • c32aef429f Handle conditional jumps depending on SelectInst Pietro Fezzardi 2018-05-30 12:24:33 +02:00
  • a47cb7e96f Merge branch 'feature/cpustate-access-analysis' Alessandro Di Federico 2018-05-31 17:14:43 +02:00
  • 87d9396ff0 Augment search path with /usr/share/revamb Alessandro Di Federico 2018-05-30 15:07:07 +02:00
  • 2d32074075 Remove cross-compiler autodetection Alessandro Di Federico 2018-05-30 14:38:24 +02:00
  • 0844c16cd8 Add type-based analysis to CPUStateAccessAnalysis Pietro Fezzardi 2018-05-25 10:59:32 +02:00
  • f90f9451fa Add CPUStateAccessAnalysisPass Pietro Fezzardi 2018-03-26 18:53:31 +02:00
  • 83992ba4c3 Add -Wno-error=unused-local-typedefs Pietro Fezzardi 2018-04-19 12:44:40 +02:00
  • 150a7a9145 Add function getCallee to ir-helpers.h Pietro Fezzardi 2018-04-10 11:20:59 +02:00
  • 6ebae61635 Improve writeToLog() specialization for Value * Pietro Fezzardi 2018-04-09 17:33:22 +02:00
  • f707b04530 Add assertion in Logger<>::unindent() Pietro Fezzardi 2018-04-09 14:40:25 +02:00
  • 0959492392 Improve getTypeAtOffset() Pietro Fezzardi 2018-02-16 17:45:07 +01:00
  • c940b116a7 Use getTypeAllocSize() instead of getTypeSizeInBits() Pietro Fezzardi 2018-02-16 10:31:48 +01:00
  • 0dc77e104f Introduce statistics Alessandro Di Federico 2018-03-20 14:27:57 +01:00
  • cb8a987122 Introduce Logger Alessandro Di Federico 2018-03-20 14:17:02 +01:00
  • 8c148607d3 Introduce ClassSentinel Alessandro Di Federico 2018-03-20 12:51:10 +01:00
  • 82ab48c6c4 Introduce SmallMap Alessandro Di Federico 2018-03-20 12:45:27 +01:00
  • 4389961b89 Outline DumpPass::runOnFunction Alessandro Di Federico 2018-03-20 12:42:57 +01:00
  • e99db08cbf SET: record loaded addresses Alessandro Di Federico 2018-03-20 12:39:31 +01:00
  • e407fc11a1 Various minor cleanups Alessandro Di Federico 2018-03-20 12:38:28 +01:00
  • 2f5d8b77cd Force strict aliasing Alessandro Di Federico 2018-03-20 12:26:52 +01:00
  • 4eaa6f76e4 Force CMake to link libraries using full path Alessandro Di Federico 2018-03-20 12:23:45 +01:00
  • 7f7dc140ee Improve skipCasts and introduce isCallToHelper Alessandro Di Federico 2018-03-20 12:20:33 +01:00
  • 99dbac36fa Merge branch 'feature/dynamic-linking' Alessandro Di Federico 2018-05-29 15:12:10 +02:00
  • 61cfbdfc56 Introduce support for dynamic binaries Alessandro Di Federico 2018-05-29 08:51:46 +02:00
  • 9c2bb85f30 Introduce printf test using %f Alessandro Di Federico 2018-05-29 08:41:59 +02:00
  • 79013ee6d0 support.c: ensure 256-bits alignment of the stack Alessandro Di Federico 2018-05-29 08:40:20 +02:00
  • 8de52cb9b8 skipCasts: handle Instructions and ConstantExprs Alessandro Di Federico 2018-05-29 08:38:24 +02:00
  • d169d37ca5 s/static inline/inline/ in .h file Alessandro Di Federico 2018-05-29 08:37:14 +02:00
  • aa38255149 Output a CSV file with the required libraries Alessandro Di Federico 2018-05-29 08:26:13 +02:00
  • 0bd4204e07 In tests, use the translate script Alessandro Di Federico 2018-05-29 08:32:05 +02:00
  • 470ca264ad Convert bool arguments to int Alessandro Di Federico 2018-05-29 08:33:17 +02:00
  • 5f8249ce33 Disable warning about virtual destructors Alessandro Di Federico 2018-05-29 08:19:02 +02:00
  • 3ec2148f5f Merge branch 'feature/function-isolation' Alessandro Di Federico 2018-04-22 15:40:46 +02:00
  • cf42e497aa Introduce the Function Isolation Pass Andrea Gussoni 2017-04-14 12:15:23 +02:00
  • 171db849bf Use getCallTo in getBasicBlockPC Andrea Gussoni 2018-03-19 10:34:32 +01:00
  • 608b96b59b Fix ReturnPC type Andrea Gussoni 2018-02-01 15:57:46 +01:00
  • bb6659268c Fix ISA recognition in translate script Pietro Fezzardi 2018-01-29 10:47:13 +01:00
  • bbd3471266 Suppress signedness comparison warnings in tests Alessandro Di Federico 2018-01-28 14:08:45 +01:00
  • 2f55d4ba76 Added i386 support Thorbjörn Schulz 2017-05-20 20:09:31 +02:00
  • 5d9aa31c50 Remove useless type GenericFunctor Pietro Fezzardi 2017-08-29 15:14:39 +02:00
  • 97ed77d2b4 Remove leading dot from segment variable names Andrea Gussoni 2017-10-03 11:57:55 +02:00
  • 3aed484a28 Fix li-csv-to-ld-options warning message Alessandro Di Federico 2018-01-17 21:38:23 +01:00
  • 4e871c6fa8 Refactored initialization of compilation flags Andrea Gussoni 2017-11-21 21:32:07 +01:00
  • 0735acd2a0 Add checks for no-pie flag for cross-compilers Andrea Gussoni 2017-11-20 17:05:06 +01:00