Pyctos

Washbourne, ErickN [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]; Sarracino, JohnT [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]; Lane, PhillipA [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]

doi:10.11578/dc.20260910.1

DOE OSTI · code-191915

Pyctos

Washbourne, ErickN [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]·Sarracino, JohnT [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]·Lane, PhillipA [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]

View original source ↗Read source document ↗Export metadata ↓

Abstract

Pyctos is a concolic testing framework for standard, dynamically-typed Python. Pyctos is able to generate exhaustive test inputs reaching 100% coverage for a subset of pure Python in the absence of type annotations, even where modern fuzzers would fail. Pyctos's underlying reasoning engine is the CVC5 SMT solver, though Z3 is also supported. Pyctos also supports a growing subset of the standard library and some third-party libraries, such as NumPy.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Washbourne, ErickN [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)], Sarracino, JohnT [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)], Lane, PhillipA [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]. 2026-07-07. Pyctos. https://doi.org/10.11578/dc.20260910.1

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