src/plugins/value/api/values_request.ml · 6bfa6d79dbc3157fef852ec26f0a3822603091cb · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
6bfa6d79
[ivette][WIP] First steps to be able to show pointed values · 6bfa6d79
Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
```
We have a request that returns all the lvalues pointed by a pointer.
```
6bfa6d79

History
[ivette][WIP] First steps to be able to show pointed values
Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
```
We have a request that returns all the lvalues pointed by a pointer.
```