Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

doi 10.1145/2694344.2694389
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Process Discovery Using Integer Linear Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Integer Multiplication With Overflow Detection or Saturation

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2000English

Using Early Goal Directed Therapy With MEDS Score

Journal of Epidemiology and Preventive Medicine
2015English

Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2018English

Sound Input Filter Generation for Integer Overflow Errors

ACM SIGPLAN Notices
Computer Science
2014English

Questionable Interim Analyses in the Goal-Directed Perfusion Trial Study of Goal-Directed Perfusion

Journal of Thoracic and Cardiovascular Surgery
Respiratory MedicinePulmonaryCardiovascular MedicineSurgeryCardiology
2019English

Goal Directed Behavior and Dyslexia

Prilozi (Makedonska akademija na naukite i umetnostite. Oddelenie za medicinski nauki)
Medicine
2016English

Hemodynamic Goal-Directed Intermittent Hemodialysis

Critical Care
Critical CareIntensive Care Medicine
2007English

Designing Social Question-And-Answering Interaction Using Goal-Directed Design Method

International Journal on Advanced Science, Engineering and Information Technology
AgriculturalEngineeringComputer ScienceBiological Sciences
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy