Skip to content
Snippets Groups Projects
  1. Sep 29, 2018
    • Alessandro Di Federico's avatar
      0ff8f1c1
    • Alessandro Di Federico's avatar
      2615fba9
    • Alessandro Di Federico's avatar
      622d6bac
    • Alessandro Di Federico's avatar
      Switch to C++14 · 5a3e203e
      Alessandro Di Federico authored
      We'd switch to C++17, but we currently aim at supporting building revamb
      with Ubuntu 16.04, whose default version of GCC doesn't support C++17.
      5a3e203e
    • Alessandro Di Federico's avatar
      Switch to new assertion system globally · f8199625
      Alessandro Di Federico authored
      This commit enforces on the whole project the usage of our own assertion
      system. This means all calls to `abort`, `assert` and `llvm_unreachable`
      have been replaced with calls to `revng_abort`, `revng_assert` and
      `revng_unreachable`, respectively.
      
      The error messages, usually expressed as `assert(Condition &&
      "Message")` have now been replaced using the second (optional) argument
      of `revng_assert`.
      
      Additionally, all the `assert(false)` statements have been replaced with
      calls to `revng_abort`. Apart from readibility, this ensures the
      compilers is aware of the fact that call will never return.
      
      This change will enable us to drop many statements whose sole purpose
      was marking a variable employed in an assertion as used in release
      mode. In fact, with the new assertion system this is no longer
      necessary.
      f8199625
  2. Sep 26, 2018
  3. Sep 21, 2018
  4. Sep 20, 2018
    • Andrea Gussoni's avatar
      Register and add among JT reasons `FunctionSymbol` · 500d77f4
      Andrea Gussoni authored
      The symbol handling has been extended to register whether a symbol
      represents a function or not. This information is then used to register,
      during the global data harvesting phase, all the function symbols and
      explicitly mark them through the "FunctionSymbol" `JTReason`.
      
      We use this information during the CFEP harvesting phase to integrate
      the information produced by the function boundaries detection with
      potential unidentified CFEPs.
      
      This option can be enabled with the `--use-debug-symbols`, which
      supersedes `--use-sections`.
      500d77f4
    • Pietro Fezzardi's avatar
      Add support for pyelftools >= 0.25 · 6e642ea6
      Pietro Fezzardi authored
      From version 0.25 pyelftools changed the API for ENUM_P_TYPE.
      This commit wraps the import in a try-except block to handle older and
      newer versions gracefully.
      6e642ea6
  5. Sep 19, 2018
  6. Sep 18, 2018
  7. Sep 17, 2018
  8. Aug 31, 2018
Loading