mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Antonio Frighetto
23 lines
422 B
Plaintext
23 lines
422 B
Plaintext
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
# This analysis works both for registers and stack slots
|
|
|
|
digraph UsedArgumentsOfFunction {
|
|
Unknown;
|
|
Maybe [peripheries=2];
|
|
Yes;
|
|
|
|
# Lattice
|
|
Unknown->Maybe;
|
|
Maybe->Yes;
|
|
|
|
# Transfer functions
|
|
Maybe->Yes [label="Read"];
|
|
Maybe->Unknown [label="Write"];
|
|
Maybe->Unknown [label="WeakWrite"];
|
|
|
|
Maybe->Maybe [label="None"];
|
|
}
|