View Issue Details

IDProjectCategoryView StatusLast Update
0004002Talerwallet (WebExtension)public2019-12-26 20:37
ReporterMarcello Stanisci Assigned ToMarcello Stanisci Resolution deadline
ImplementerReviewer 
Release signed byDeployed by 
VerifierCommunicator 
Data protection authority notification requiredNo  
CSIRT notification requiredNo  
Estimated effort (hours)Actual effort (hours)0 
Fast-trackNo
Work packagenone
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Product Versiongit (master) 
Target Version0.0Fixed in Version0.0 
Summary0004002: check over/under flows in multiplication between doubles
Descriptiongrep for CHECKOVERUNDERFLOW in wrap.c
TagsNo tags attached.

Required notifications

Address or linkRemarkAdded byNotifiedActions

Activities

Christian Grothoff

2015-11-17 13:19

manager   ~0009912

See also: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html

Marcello Stanisci

2015-12-10 13:02

reporter   ~0009992

addressed in e5aea94..39084f1

The solution in the link above doesn't regard operations on 'double' types.

The following solution has been adopted

c = a * b

if (a<1 || b<1){

  if (c >= max (a, b))
    
    // is overflow

}
else{

  if (c < max (a, b))
    
    // is overflow
}

The solution should catch also underflows, since it simply checks if everything looks normal.

Shall this bug be closed?

Christian Grothoff

2015-12-17 10:47

manager   ~0010009

Determined mathematically that overflow is impossible in this case.

Issue History

Date ModifiedUsernameFieldChange
2015-10-09 11:48Marcello StanisciNew Issue
2015-10-09 11:48Marcello StanisciStatusnew => assigned
2015-10-09 11:48Marcello StanisciAssigned To => Marcello Stanisci
2015-10-22 23:14Christian GrothoffTarget Version0.2 => 0.1
2015-11-17 13:18Christian GrothoffAssigned ToMarcello Stanisci => tg
2015-11-17 13:19Christian GrothoffNote Added: 0009912
2015-11-17 14:30Christian GrothoffAssigned Totg => Marcello Stanisci
2015-12-10 13:02Marcello StanisciNote Added: 0009992
2015-12-10 13:02Marcello StanisciStatusassigned => feedback
2015-12-17 10:47Christian GrothoffNote Added: 0010009
2015-12-17 10:47Christian GrothoffStatusfeedback => informing
2015-12-17 10:47Christian GrothoffFixed in Version => 0.0
2015-12-17 10:47Christian GrothoffResolutionopen => fixed
2015-12-17 10:48Christian GrothoffTarget Version0.1 => 0.0
2015-12-17 11:03Christian GrothoffStatusinforming => closed
2019-12-26 20:37Florian DoldCategorywallet (browser-based) => wallet (WebExtensions)
2023-04-13 18:37Florian DoldCategorywallet (WebExtensions) => wallet (WebExtension)