Conference item icon

Conference item

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

Actions

Authors


Publisher:
Springer−Verlag
Host title:
Proceedings of the 13th International Static Analysis Symposium
Volume:
4134
Publication date:
2006-08-01
ISBN:
3540377565


UUID:
uuid:14f2af22-c110-420b-8cf8-482a08e08de4
Local pid:
cs:4962
Deposit date:
2015-03-31
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP