Engineering Papers⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20140010139

Automatic Extraction of JPF Options and Documentation

Luks, Wojciech·Tkachuk, Oksana·Buschnell, David
View original source ↗Export metadata ↓

Abstract

Documenting existing Java PathFinder (JPF) projects or developing new extensions is a challenging task. JPF provides a platform for creating new extensions and relies on key-value properties for their configuration. Keeping track of all possible options and extension mechanisms in JPF can be difficult. This paper presents jpf-autodoc-options, a tool that automatically extracts JPF projects options and other documentation-related information, which can greatly help both JPF users and developers of JPF extensions.

Explore related subjects

Static AnalysisProject DocumentationJava PathFinder

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luks, Wojciech, Tkachuk, Oksana, Buschnell, David. 2011-11-12. Automatic Extraction of JPF Options and Documentation. https://ntrs.nasa.gov/citations/20140010139

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRS2017

Static Analysis Using Abstract Interpretation

Short presentation about static analysis and most particularly abstract interpretation. It starts with a brief explanation on why static analysis is used at NASA. Then, it describes the IKOS (Inference Kernel for Open Static Analyzers) tool chain. Results on NASA projects are shown. Several well known algorithms from the static analysis literature are then explained (such as pointer analyses, memory analyses, weak relational abstract domains, function summarization, etc.). It ends with interesting problems we encountered (such as C++ analysis with exception handling, or the detection of integer overflow).

Static Analysis↗