2019
DOI: 10.1007/978-3-030-32304-2_7
|View full text |Cite
|
Sign up to set email alerts
|

Abstract Interpretation of Indexed Grammars

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
3
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
2
1

Relationship

3
2

Authors

Journals

citations
Cited by 5 publications
(4 citation statements)
references
References 22 publications
0
3
0
Order By: Relevance
“…We weakened both the local backward-completeness, in presence of a GC, and the local forward-completeness properties in case only a concretization function is available (e.g., the case of convex polyhedra or the domain of formal languages [9]) in order to allow a limited amount of imprecision. This imprecision is measured according to a distance function formalized as a pre-metric compatible with the underlying pre-order relation.…”
Section: Discussionmentioning
confidence: 99%
“…We weakened both the local backward-completeness, in presence of a GC, and the local forward-completeness properties in case only a concretization function is available (e.g., the case of convex polyhedra or the domain of formal languages [9]) in order to allow a limited amount of imprecision. This imprecision is measured according to a distance function formalized as a pre-metric compatible with the underlying pre-order relation.…”
Section: Discussionmentioning
confidence: 99%
“…We also plan to extend the concept of partial complete abstract interpretation to non-GCs/GIs. For example, to the case of convex polyhedra [Cousot and Halbwachs 1978] and symbolic abstract domains, such as the domain of regular or indexed grammars [Campion et al 2019].…”
Section: Discussionmentioning
confidence: 99%
“…Moreover, the new learner needs to be able to learn, in an approximate way, more complex rewriting rules in order to catch more sophisticated metamorphic engines and it should be able to generate a sound metamorphic signature, i.e., a set of rules that generate all the real metamorphic variants, namely, all the possible variants that the unknown metamorphic engine can create, admitting some false positives (spurious variants). Finally, new more expressive formal languages should be considered modeling code mutations, such as, e.g., indexed grammars [32,33] or context-sensitive grammars, and their respective learning algorithms.…”
Section: Discussion and Future Directionsmentioning
confidence: 99%