Search results

Byval attribute support

Status: Open.

#172 In seahorn/sea-dsa;

· mortkever opened on Dec 22, 2025

Vector handling in GEP instructions

Status: Open.

#169 In seahorn/sea-dsa;

· mortkever opened on Dec 4, 2025

sea-dsa as a library

Status: Open.

#167 In seahorn/sea-dsa;

· mortkever opened on Nov 28, 2025

CRASH: can't handle vectorTy in LoadInst / Gep

Status: Open.

#159 In seahorn/sea-dsa;

· void0red opened on Jan 28, 2024

README.md suggests to use <code>sudo pip</code>

documentation

Status: Open.

#148 In seahorn/sea-dsa;

· WolframKahl opened on Jul 10, 2022

Question about "function never returning"

question

Status: Open.

#138 In seahorn/sea-dsa;

· adrianherrera opened on Jan 27, 2022

Question on realloc function.

question

Status: Open.

#135 In seahorn/sea-dsa;

· seccompgeek opened on Oct 13, 2021

Combination of O3 and UBSan makes seadsa crash on input analysis

Status: Open.

#128 In seahorn/sea-dsa;

· pietroborrello opened on Jul 1, 2021

callee not simulated by caller

bug

Status: Open.

#103 In seahorn/sea-dsa;

· igcontreras opened on Sep 10, 2020

Unnecessary nodes created when finding the cell of a global in a graph

Status: Open.

#100 In seahorn/sea-dsa;

· igcontreras opened on Sep 2, 2020

Oversharing with offset collapsed but types known

Status: Open.

#99 In seahorn/sea-dsa;

· igcontreras opened on Sep 2, 2020

Question about inconsistency before/after LLVM's mem2reg optimization

Status: Open.

#73 In seahorn/sea-dsa;

· shaobo-he opened on Apr 13, 2020