Antonio Frighetto c9a42cec36 Model: handle NoReturn functions in CallEdge

2021-12-10 12:30:11 +01:00

..

ABI.h

Introduce ABI handling

2021-10-18 20:44:58 +02:00

Architecture.h

Add model::Architecture::getPointerSize()

2021-11-08 16:17:47 +01:00

Binary.h

Model: handle NoReturn functions in CallEdge

2021-12-10 12:30:11 +01:00

LoadModelPass.h

Rework getWriteableModel to return a TupleTree

2021-07-15 13:30:25 +02:00

Processing.h

Introduce support for importing DWARF information

2021-10-21 15:01:20 +02:00

Register.h

Minor model improvements

2021-10-18 20:44:58 +02:00

SerializeModelPass.h

Handle missing model in SerializeModelPass

2021-10-21 15:02:01 +02:00

TupleTree.h

Introduce dump method for model structs

2021-10-21 15:02:00 +02:00

TupleTreeDiff.h

Drop IsTupleEnd concept

2021-07-15 13:30:25 +02:00

Type.h

Introduce dump method for model structs

2021-10-21 15:02:00 +02:00

VerifyHelper.h

Introduce error messages during model validation

2021-10-18 20:44:58 +02:00