Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (Q2988672): Difference between revisions

@@ Property / describes a project that uses @@
+LOCKSMITH
@@ Property / describes a project that uses: LOCKSMITH / rank @@
+Normal rank
@@ 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-662-54434-1_33
+Normal rank
@@ Property / OpenAlex ID @@
+W2596236679
@@ Property / OpenAlex ID: W2596236679 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification Inference Using Context-Free Language Reachability
+Normal rank
@@ Property / cites work @@
+Q4738384
@@ Property / cites work: Q4738384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417791
@@ Property / cites work: Q4417791 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional must not aliasing for static race detection
+Normal rank
@@ Property / cites work @@
+Existential Label Flow Inference Via CFL Reachability
+Normal rank
@@ Property / cites work @@
+Type-base flow analysis
@@ Property / cites work: Type-base flow analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural dataflow analysis with applications to constant propagation
+Normal rank
@@ Property / cites work @@
+Q4813399
@@ Property / cites work: Q4813399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764061
@@ Property / cites work: Q2764061 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural dataflow analysis with applications to constant propagation
+Normal rank
@@ Property / cites work @@
+The dependence condition graph: precise conditions for dependence between program points
+Normal rank
@@ Property / cites work @@
+Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
+Normal rank
@@ Property / cites work @@
+Context-sensitive data-dependence analysis via linear conjunctive language reachability
+Normal rank
@@ Property / cites work @@
+Automated Inference of Library Specifications for Source-Sink Property Verification
+Normal rank