Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation

DOI10.1007/978-3-030-39322-9_9MaRDI QIDQ784127zbMATH OpenOpenAlexFDO

Authors Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky

Publication date 5 August 2020

Full work available at URL https://doi.org/10.1007/978-3-030-39322-9_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Path Feasibility Analysis for String-Manipulating Programs
• Improving Symbolic Automata Learning with Concolic Execution
• Learning a static analyzer from data
• Automating string processing in spreadsheets using input-output examples
• Automata-based symbolic string analysis for vulnerability detection

Describes a project that uses

Uses Software

• z3
• LLVM
• KLEE
• HAMPI
• LRinv

This page was built for publication: Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784127)