Alessandro Di Federico
7e2eb15a01
check-conventions: adopt dict.fromkeys
2024-08-16 14:33:23 +02:00
Alessandro Di Federico
5c9b6ed9b3
Rename DILogger into Log
2024-08-16 13:27:00 +02:00
Alessandro Di Federico
09e483f96b
BinaryImporter: create a Function for EntryPoint
2024-08-16 13:01:59 +02:00
Alessandro Di Federico
cba1d6fa51
PDBImporter: fix .pdb path lookup
2024-08-16 13:01:57 +02:00
Pietro Fezzardi
0a082c3f32
Merge branch 'feature/cycle-equivalence'
2024-08-12 12:43:23 +02:00
Andrea Gussoni
eeca8f781c
GenericGraph: introduce Undirected
...
Introduce the `Undirected` GraphTraits, which treats a `MutableEdgeNode`
`GenericGraph` as an undirected graph.
The trait uses the newly introduced `UndirectedChildIterator`, which is
a special custom iterator to get successors and predecessors
concatenated together.
Add some unit tests for `UndirectedChildIterator`.
2024-08-12 12:32:45 +02:00
Andrea Gussoni
c32a4776ab
GenericGraph: edge traits for llvm::Inverse
2024-08-12 12:32:45 +02:00
Alessandro Di Federico
9cca30976d
docs/*.rst: add warning
2024-08-07 16:08:00 +02:00
Alessandro Di Federico
99149c1b36
Drop revng lift
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
024c9abda2
Step: fix use-after-free
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
744184c90c
Do not use CallBase::getCalledFunction
...
Use our wrapper, which does not return nullptr if the `FunctionType`s do
not match.
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
c92c109424
revng artifact: error out if step has no artifact
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
05b6989274
FunctionPass: add tracing
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
ae7e7a0bc7
IsolateFunctions: add tracing
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
ee2d2e25c6
InlineHelpers: add tracing
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
80237078e4
setMetaAddressMetadata: use MDString
2024-08-07 16:07:59 +02:00
Alessandro Di Federico
09bc315448
Pipeline: improve invalidation logging
2024-08-07 16:07:59 +02:00
Ivan Krysak
336fac0a67
ABI: do not assert when offset is not aligned
...
Abort the conversion instead.
2024-08-06 10:26:34 +02:00
Alessandro Di Federico
d3b945c6c2
PECOFFImporter: use Generic Segment::StartAddress
2024-08-05 18:00:27 +02:00
Alessandro Di Federico
fa6249edc0
Isolate: add FunctionTag to declared functions
2024-08-05 17:42:04 +02:00
Alessandro Di Federico
15d72e580d
MetaAddress::address*: simply ignore Type
2024-08-05 17:41:41 +02:00
Alessandro Di Federico
7b00473859
PDBImporter: rework .pdb search
2024-08-05 17:41:34 +02:00
Alessandro Di Federico
d50e7e9451
revng artifact: anticipate artifact name check
2024-07-25 17:44:03 +02:00
Alessandro Di Federico
ce305b41dc
Merge branch 'feature/type-shrink-shr'
2024-07-10 17:24:15 +02:00
Alessandro Di Federico
f87ba8a0d3
Introduce TypeShrinking tests
2024-07-10 16:19:27 +02:00
Alessandro Di Federico
effc91689c
Introduce early-type-shrinking
2024-07-10 16:19:27 +02:00
Alessandro Di Federico
06023b4555
BitLivenessWrapperPass::dump
2024-07-10 16:19:26 +02:00
Alessandro Di Federico
f83f40078c
Invalidation tests: relax
...
At this stage, certain artifacts are invalidated by any change, even an
empty one.
2024-07-10 16:19:26 +02:00
Alessandro Di Federico
7ddae47040
Minor changes
2024-07-10 15:34:19 +02:00
Alessandro Di Federico
5f312e8998
Merge branch 'feature/fix-revng-artifact-targets'
2024-07-09 14:35:23 +02:00
Alessandro Di Federico
3f60b74a28
fetch-debuginfo: soft fail if no network
2024-07-09 12:02:31 +02:00
Alessandro Di Federico
df8f4db512
MachOImporter: set DefaultABI
2024-07-09 08:58:51 +02:00
Alessandro Di Federico
901a78a66f
Lift: fix usage of empty instead of isEmpty
2024-07-09 08:58:51 +02:00
Alessandro Di Federico
6f47a8af5a
MaterializedValue: ignore alloca
2024-07-09 08:58:51 +02:00
Alessandro Di Federico
3c839cb821
Pipe::mutableContainers: use running containers
2024-07-09 08:58:51 +02:00
Alessandro Di Federico
966caa4137
revng artifact: fix handling of target arguments
...
This commit adds to `revng artifact` help the part of the command line
accepting a list of targets.
Also, it fixes the parsing of targets.
2024-07-09 08:58:51 +02:00
Alessandro Di Federico
1981f5a433
Minor changes
2024-07-09 08:58:51 +02:00
Alessandro Di Federico
71b7fae69d
revng --version: emit component hashes
2024-06-30 19:36:48 +02:00
Ivan Krysak
22b9a4db74
Restore an accidentally deleted test
2024-06-30 19:36:48 +02:00
Pietro Fezzardi
70b75e9ac3
Merge branch 'feature/demo-recon'
2024-06-27 17:32:22 -04:00
Pietro Fezzardi
7fa7b3cbe2
PTMLIndentedOstream: honor GenerateTagLessPTML
...
Before this commit PTMLIndentOstream was still emitting tag around
indentation, even when GenerateTagLessPTML was true.
This commit fixes the problem.
2024-06-27 22:10:01 +02:00
Pietro Fezzardi
a1bc9b10f4
Add emit-recompilable-archive artifact to doc
2024-06-27 22:10:01 +02:00
Alessandro Di Federico
e7c4952377
Add cleanup-ir to docs
2024-06-27 22:10:01 +02:00
Alessandro Di Federico
f3b28c6cb5
Merge branch 'feature/drop-qualifiers'
2024-06-27 11:07:31 +02:00
Ivan Krysak
5f570b99fa
Fix a boost exception not found compilation error
2024-06-27 11:06:11 +02:00
Ivan Krysak
b900e36a68
CommonTypeMethods: introduce isAggregate
2024-06-27 11:05:52 +02:00
Ivan Krysak
0aa2ae7f08
Pipes: introduce a primitive rank
2024-06-27 11:05:52 +02:00
Ivan Krysak
cd2fdafc45
TupleTree: never assign root directly
...
This prevented expected cache invalidation when a new root was
assigned.
2024-06-27 11:05:52 +02:00
Ivan Krysak
e52dd97937
TypeSystemPrinter: improve formatting
...
- change the font of the emitted graph to `Courier`, which is the only
monospace font graphviz guarantees to support
- tweak color of the union definitions to be slightly lighter (so that
it doesn't clash as much with the other colors used)
- change the color of all the "other" nodes (like typedef) from white
to grey, so that they are visible on light backgrounds.
- leave a todo about `buildFieldName` being obsolete.
2024-06-27 11:05:52 +02:00
Ivan Krysak
db6254c50e
rcc: treat *.inc as c plus plus files
2024-06-27 11:05:52 +02:00