Alessandro Di Federico ac9d8ef90f model::Binary: add segments and imported libraries

2021-05-31 16:47:24 +02:00

..

BasicAnalyses

Introduce FunctionTags

2021-04-22 18:07:24 +02:00

Dump

Enforce new include conventions

2020-11-13 10:00:24 +01:00

FunctionCallIdentification

Introduce FunctionTags

2021-04-22 18:07:24 +02:00

FunctionIsolation

Handle blocks ending with unreachable

2021-05-08 11:39:10 +02:00

Lift

model::Binary: add segments and imported libraries

2021-05-31 16:47:24 +02:00

Model

Model: fake functions have no blocks

2021-05-08 11:39:10 +02:00

StackAnalysis

Model: fake functions have no blocks

2021-05-08 11:39:10 +02:00

Support

Make PCH::addCaseToDispatcher more efficient

2021-05-12 18:42:13 +02:00

TypeShrinking

TypeShrinking: inject zext close to users

2021-03-08 10:15:50 +01:00

UnitTestHelpers

Don't implicitly use StringRef as std::string

2021-04-22 18:06:27 +02:00

CMakeLists.txt

Moved revng lift to a library

2021-05-31 11:04:04 +02:00