Arithmetic overflow - PDFSEARCH.IO - Document Search Engine

Arithmetic overflow
Results: 22

#	Item
1	A Proposal For Hardware Assisted Arithmetic Overflow Detection Darek Mihocka Jens Troeger Parallel Hybrid Computing, Intel Corporation Add to Reading List Source URL: www.emulators.com Language: English - Date: 2016-01-18 16:45:04
2	FallUNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-08-24 18:41:19 Computer arithmetic Data types Primitive types Binary arithmetic Numeral systems Pointer Integer overflow Floating point Binary-coded decimal Power of two Integer C++ classes
3	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-30 12:02:04 Software engineering Computing Computer programming C Data types Undefined behavior Integer overflow Printf format string Objective-C C99 Floating point Arithmetic overflow
4	A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:40:24 Data types Computer arithmetic Primitive types Type theory Software bugs Integer overflow C Type system Bitwise operation Computing Software engineering Computer programming
5	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
6	Annotation Generation Frama-C’s annotation generator plug-inCarbon version Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:50 Data types Computer arithmetic C programming language Primitive types Procedural programming languages Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
7	University of California Los Angeles Symbolic Execution Algorithms for Test Generation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:40 Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming
8	Annotation Generation Frama-C’s annotation generator plug-inCarbon version Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:50 Data types Computer arithmetic C programming language Primitive types Procedural programming languages Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
9	RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]el Add to Reading List Source URL: www.isoc.org Language: English - Date: 2008-01-28 17:23:31 Data types Software bugs Computer arithmetic Type theory Type safety Integer overflow Signedness Buffer overflow protection C Computing Software engineering Computer programming
10	RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]el Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Data types Software bugs Computer arithmetic Type theory Type safety Integer overflow Signedness Buffer overflow protection C Computing Software engineering Computer programming