Search results

memsafety: add conditions to memcpy,memset, etc.

enhancement

Status: Open.

#39 In staticafi/sbt-instrumentation;

· mchalupa opened on Nov 28, 2018

tests fail because of missing .ll files

Status: Open.

#31 In staticafi/sbt-instrumentation;

· mchalupa opened on Dec 10, 2017

va_start and va_end intrinsic

Status: Open.

#27 In staticafi/sbt-instrumentation;

· mchalupa opened on Oct 27, 2017

Memsafety: replace list of finite state machines with a balanced tree

enhancement

Status: Open.

#19 In staticafi/sbt-instrumentation;

· xvitovs1 opened on Feb 9, 2017

refactoring

Status: Open.

#7 In staticafi/sbt-instrumentation;

· xvitovs1 opened on Feb 9, 2016

Support inserting more instructions than just call

enhancement

Status: Open.

#2 In staticafi/sbt-instrumentation;

· xvitovs1 opened on Jan 14, 2016

Remove namespace std, endlns, ...

Status: Open.

#1 In staticafi/sbt-instrumentation;

· xvitovs1 opened on Jan 14, 2016