Completeness of Abstract Domains for String Analysis of JavaScript Programs

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_15 ◽

2019 ◽

pp. 255-272 ◽

Author(s):

Vincenzo Arceri ◽

Martina Olliaro ◽

Agostino Cortesi ◽

Isabella Mastroeni

Keyword(s):

String Analysis ◽

Abstract Domains

Download Full-text

Reference Abstract Domains and Applications to String Analysis

Fundamenta Informaticae ◽

10.3233/fi-2018-1650 ◽

2018 ◽

Vol 158 (4) ◽

pp. 297-326 ◽

Author(s):

Roberto Amadini ◽

Graeme Gange ◽

François Gauthier ◽

Alexander Jordan ◽

Peter Schachte ◽

...

Keyword(s):

String Analysis ◽

Abstract Domains

Download Full-text

Sound up-to techniques and Complete abstract domains

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209169 ◽

2018 ◽

Author(s):

Filippo Bonchi ◽

Pierre Ganty ◽

Roberto Giacobazzi ◽

Dusko Pavlovic

Keyword(s):

Abstract Domains

Download Full-text

Pluggable abstract domains for analyzing embedded software

ACM SIGPLAN Notices ◽

10.1145/1159974.1134658 ◽

2006 ◽

Vol 41 (7) ◽

pp. 44-53 ◽

Author(s):

Nathan Cooprider ◽

John Regehr

Keyword(s):

Embedded Software ◽

Abstract Domains

Download Full-text

Scalable string analysis: an experience report

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ◽

10.1145/3460946.3464321 ◽

2021 ◽

Author(s):

Kostyantyn Vorobyov ◽

Yang Zhao ◽

Padmanabhan Krishnan

Keyword(s):

Experience Report ◽

String Analysis

Download Full-text

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis

14th Asia-Pacific Software Engineering Conference (APSEC'07) ◽

10.1109/apsec.2007.80 ◽

2007 ◽

Author(s):

Mika Koganeyama ◽

Naoshi Tabuchi ◽

Takaaki Tateishi

Keyword(s):

String Analysis ◽

Download Full-text

Process Discovery Algorithms Using Numerical Abstract Domains

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/tkde.2013.156 ◽

2014 ◽

Vol 26 (12) ◽

pp. 3064-3076 ◽

Author(s):

Josep Carmona ◽

Jordi Cortadella

Keyword(s):

Process Discovery ◽

Numerical Abstract Domains ◽

Abstract Domains ◽

Discovery Algorithms

Download Full-text

Sharing Ghost Variables in a Collection of Abstract Domains

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-39322-9_8 ◽

2020 ◽

pp. 158-179

Author(s):

Marc Chevalier ◽

Jérôme Feret

Keyword(s):

Abstract Domains

Download Full-text

A Certifying Frontend for (Sub)polyhedral Abstract Domains

Verified Software: Theories, Tools and Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12154-3_13 ◽

2014 ◽

pp. 200-215 ◽

Author(s):

Alexis Fouilhe ◽

Sylvain Boulmé

Keyword(s):

Abstract Domains

Download Full-text

String Analysis as an Abstract Interpretation

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-18275-4_21 ◽

2011 ◽

pp. 294-308 ◽

Author(s):

Se-Won Kim ◽

Kwang-Moo Choe

Keyword(s):

Abstract Interpretation ◽

String Analysis

Download Full-text

Abstract Domains and Solvers for Sets Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48899-7_25 ◽

2015 ◽

pp. 356-371

Author(s):

Arlen Cox ◽

Bor-Yuh Evan Chang ◽

Huisong Li ◽

Xavier Rival

Keyword(s):

Abstract Domains

Download Full-text