Search results

Translation error of uses of the copysign family of functions

bug

Status: Open.

#801 In smackers/smack;

· keram88 opened on Sep 4, 2024

Invoke instructions to vararg functions are not handled properly

bug

Status: Open.

#719 In smackers/smack;

· shaobo-he opened on Apr 12, 2021

Incorrect model of calloc with respect to memory safety

bug

Status: Open.

#586 In smackers/smack;

· shaobo-he opened on Jul 10, 2020

smack cannot find this type of memory error

bug

enhancement

Status: Open.

#539 In smackers/smack;

· ya0guang opened on Feb 5, 2020

Invariants on loops with non-atomic-term heads

bug

Status: Open.

#524 In smackers/smack;

· michael-emmi opened on Dec 13, 2019

copysign is not modeled

bug

Status: Open.

#477 In smackers/smack;

· keram88 opened on Jul 29, 2019

questions on translate LLVM language 'store <4 x i32>' to bpl

bug

question

Status: Open.

#469 In smackers/smack;

· muyaview opened on Jul 4, 2019

bvlongdouble is not a proper name and probably not correctly implemented

bug

Status: Open.

#454 In smackers/smack;

· shaobo-he opened on May 28, 2019

SMACK does not catch freeing of stack locations as an invalid-free error

bug

Status: Open.

#377 In smackers/smack;

· zvonimir opened on Oct 20, 2018

Failed overflow-checker assertion in C++ mode.

bug

Status: Open.

#351 In smackers/smack;

· michael-emmi opened on Jul 31, 2018

devirtbounce name issues with Swift/OBJC method invocation

bug

Status: Open.

#339 In smackers/smack;

· jjgarzella opened on Jul 6, 2018

Entry points with SMACK-escaped character

bug

Status: Open.

#333 In smackers/smack;

· jjgarzella opened on Jun 28, 2018