diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-01 21:06:38 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-02 16:57:31 +0200 |
| commit | 95a080a682778a08d682897f97d0dae5c2201d76 (patch) | |
| tree | e258c4abaad3a5a99e8225a4181238ad7dc01754 /pkg | |
| parent | ae2f24aa70517d79d364a7202e070f2de6fd4451 (diff) | |
prog: strenghten type checking during validation
Check that argument types match expected static types.
I.e. detect when, say, syscall argument is a resource,
but actual generated argument is a pointer.
Diffstat (limited to 'pkg')
0 files changed, 0 insertions, 0 deletions