New issue 165 in ahh: Integer range analysis
0 views
Skip to first unread message
issues-...@bitbucket.org
Jun 25, 2010, 5:48:39 PM6/25/10
to cyo...@gmail.com
--- you can reply above this line ---
New issue 165: Integer range analysis
http://bitbucket.org/ahh/ahh/issue/165/integer-range-analysis
Cyrus Omar / cyrus on Fri, 25 Jun 2010 23:48:39 +0200:
Description:
Buncha papers here:
http://user.it.uu.se/~svenolof/IRA01/
Would be useful for making sure you don't access/write out of the bounds of a buffer statically. Could also (optionally probably) insert dynamic checks when this can't be done statically.
--
This is an issue notification from bitbucket.org.
You are receiving this either because you are the
owner of the issue, or you are following the issue.
issues-...@bitbucket.org
Jun 25, 2010, 5:48:45 PM6/25/10
to cyrus...@gmail.com
--- you can reply above this line ---
Issue 165: Integer range analysis
http://bitbucket.org/ahh/ahh/issue/165/integer-range-analysis
Cyrus Omar / cyrus on Fri, 25 Jun 2010 23:48:45 +0200:
Changes:
status: new -> open
Reply all
Reply to author
Forward
0 new messages