#11 closed task (fixed)

Implement string abstraction with 'strlen' function.

Reported by: Henrich Lauko Owned by: Henrich Lauko
Priority: major Milestone: 4.2
Component: LART Keywords:
Cc:

Description

Rethink domain annotation of string domain functions.

Update VPA, Stashing and Tainting.

Change History (2)

comment:1 Changed 11 months ago by Henrich Lauko

Component: benchLART
Owner: changed from mornfall to Henrich Lauko
Summary: Implement string abstraction with 'strlen' funcion.Implement string abstraction with 'strlen' function.

comment:2 Changed 10 months ago by Henrich Lauko

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.