Relational string abstract domains (Q2152641): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-94583-1_2
+Normal rank
@@ Property / OpenAlex ID @@
+W4205181847
@@ Property / OpenAlex ID: W4205181847 / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-Free String Constraints
@@ Property / cites work: Chain-Free String Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Reference Abstract Domains and Applications to String Analysis
+Normal rank
@@ Property / cites work @@
+Dashed strings for string constraint solving
@@ Property / cites work: Dashed strings for string constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of string analysis for dynamic languages
+Normal rank
@@ Property / cites work @@
+String abstraction for model checking of C programs
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Twinning automata and regular expressions for string static analysis
+Normal rank
@@ Property / cites work @@
+An Abstract Domain of Uninterpreted Functions
@@ Property / cites work: An Abstract Domain of Uninterpreted Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A relational shape abstract domain
@@ Property / cites work: A relational shape abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Class invariants as abstract interpretation of trace semantics
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler Design
@@ Property / cites work: Compiler Design / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-based symbolic string analysis for vulnerability detection
+Normal rank