Opened 6 years ago
Closed 6 years ago
#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 6 years ago by
| Component: | bench → LART |
|---|---|
| Owner: | changed from mornfall to Henrich Lauko |
| Summary: | Implement string abstraction with 'strlen' funcion. → Implement string abstraction with 'strlen' function. |
comment:2 Changed 6 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.