Search results

Support for out-of-bound memory accesses

Status: Open.

#793 In hernanponcedeleon/Dat3M;

· natgavrilenko opened on Jan 16, 2025

Modeling of pthread_join

Status: Open.

#789 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Dec 11, 2024

Types of address computations & overflows

Status: Open.

#780 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Nov 15, 2024

Rework ExecutionModel

Status: Open.

#732 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Sep 11, 2024

OOTA tests

Status: Open.

#704 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Jul 18, 2024

Implementation of pthread_cond

Status: Open.

#661 In hernanponcedeleon/Dat3M;

· db7 opened on Apr 24, 2024

Discrepancy between eager encoding and CAAT with overflowing accesses

Status: Open.

#642 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Mar 22, 2024

Imprecision in XRA

Status: Open.

#622 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Feb 20, 2024

Missing intrinsics

SVCOMPIssues related to SVCOMPIssues related to SVCOMP

Status: Open.

#585 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Dec 2, 2023

SSA-like form for better encodings

Status: Open.

#576 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Nov 25, 2023

Feature: Improved source tracing and visualization of static analysis results

Status: Open.

#544 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Oct 27, 2023

encoding.integers is rarely usable

Status: Open.

#538 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Oct 20, 2023