DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Signedness
Signedness
Integers in C: an Open Invitation to Security Attacks?
Understanding Integer Overflow in C/C++
5. Data Types
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
RICH: Automatically Protecting Against Integer-Based Vulnerabilities
C Language Features
Practical Integer Overflow Prevention
Multistage Algorithms in C++
Bit Value for Instruction in Binary Format
Accurate ICP-Based Floating-Point Reasoning
High-Level Synthesis and Arithmetic Optimizations Yohann Uguen
University of Warwick Institutional Repository
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
Improving Integer Security for Systems with KINT
GADT Meet Subtyping
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
Abstract Domains for Bit-Level Machine Integer and Floating-Point Operations
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction
Top View
Man Pages Section 3 Library Interfaces and Headers
Enhancing Model-Based Development of Embedded Systems
Signedness, Overflow, Multiplication and Division
Combining Generic Programming with Vector Processing for Machine Vision
Guidelines for the Use of the C++14 Language in Critical and Safety-Related Systems AUTOSAR AP Release 17-03
Abstract Domains for Bit-Level Machine Integer and Floating-Point Operations Antoine Miné
General, Scalable Path-Sensitive Fault Detection
Fixed-Point IP Cores (ALTERA FIXED- POINT FUNCTIONS) User Guide
Portability Goals of This Lecture
SIMD-Aware Word Length Optimization for Floating-Point To
Conservative Signed/Unsigned Type Inference for Binaries Using Minimum Cut
Floating Point to Fixed Point Conversion of C Code
Intfinder: Automatically Detecting Integer Bugs in X86 Binary Program
Scalable and Precise Verification Based on K-Induction, Symbolic
Scalar Data Types Part (A
Synthesis of Optimal Fixed-Point Implementation of Numerical Software Routines
Std::Byte Is Not an Integer and Not a Character
Armv8 Instruction Set Overview