Search alternatives:
policy implementation » practical implementation (Expand Search)
Showing 1 - 1 results of 1 for search '(( ((python tool) OR (python code)) implementing ) OR ( python policy implementation ))~', query time: 0.27s Refine Results
  1. 1
    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025)

    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) by zixuan yuan (17602152)

    Published 2025
    “…</li></ul><h2><b>Tool</b></h2><h3><b>Requirements</b></h3><p dir="ltr">To install the tool from source code on your host system, please ensure that your environment meets the following requirements:</p><p dir="ltr"><b>Operating System:</b> Ubuntu 18.04 LTS or higher (requires kernel version 4.x or above due to the scheduling policy).…”
    Save to List
    Saved in:

Search Tools: