Robin David

ObjectFileRef seem's to return wrong section content

6

While experimenting with llvmlite I found some discrepancies between what is returned by the `data()` function of ``ObjectFileRef`` and the real bytes in the file. Here is an example *(where...

convert float to int as expected by Qt API functions

1

Tenet is suffering the same issues than lighthouse previously: https://github.com/gaasedelen/lighthouse/commit/6e1dcb8d40dd28c3717d82ad957ba48cef10a3ab This pull request, replicates the fixes to Tenet.

unrolling issue with PlaceHolderSynthesizer

7

The ``PlaceHolderSynthesizer`` seem's not to properly replace placeholder variable during the synthesis process, on some use-cases. The resulting synthesized expression is thus completely wrong. I need to dig deeper.

Dummy change to fix the changing location of EXE_FORMATS in lief.

At the moment to register a callback one, have to call the appropriate method of the `CallbackManager` object, either through: * the `SymbolicExecutor` with `se.cbm` * the `SymbolicExplorator` with `dse.callback_manager`...

Hi here, I am encountering an issue trying to obtain a function from a chunk. The function ``get_function_by_chunk`` raises an IndexError issue. A PoC to reproduce the error is the...