<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal>https://projects.coin-or.org/Clp/ticket/33<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>[E] ABR: Array bounds read in ClpSimplex::deleteRim(int) {6
occurrences}<o:p></o:p></p>
<p class=MsoNormal> Reading 8 bytes
from 0x03fb0cd0 (8 bytes at 0x03fb0cd0 illegal)<o:p></o:p></p>
<p class=MsoNormal> Address
0x03fb0cd0 is 1 byte past the end of a 520 byte block at 0x03fb0ac8<o:p></o:p></p>
<p class=MsoNormal> Address
0x03fb0cd0 points to a C++ new block in heap 0x03f70000<o:p></o:p></p>
<p class=MsoNormal> Thread ID: 0x1ae0<o:p></o:p></p>
<p class=MsoNormal> Error location<o:p></o:p></p>
<p class=MsoNormal>
ClpSimplex::deleteRim(int)
[c:\cygwin\home\magala\coin\coin-decomp\clp\src\clpsimplex.cpp:4322]<o:p></o:p></p>
<p class=MsoNormal>
reducedCost_[i] = reducedCostWork_[i];<o:p></o:p></p>
<p class=MsoNormal>
}<o:p></o:p></p>
<p class=MsoNormal>
for (i=0;i<numberRows;i++) {<o:p></o:p></p>
<p class=MsoNormal>
=> double value = rowActivityWork_[i];<o:p></o:p></p>
<p class=MsoNormal>
double lower = rowLowerWork_[i];<o:p></o:p></p>
<p class=MsoNormal>
double upper = rowUpperWork_[i];<o:p></o:p></p>
<p class=MsoNormal>
if (lower>-1.0e20||upper<1.0e20) {<o:p></o:p></p>
<p class=MsoNormal>
ClpSimplex::finish(int)
[c:\cygwin\home\magala\coin\coin-decomp\clp\src\clpsimplex.cpp:8125]<o:p></o:p></p>
<p class=MsoNormal>
} else {<o:p></o:p></p>
<p class=MsoNormal>
whatsChanged_ &= ~0xffff;<o:p></o:p></p>
<p class=MsoNormal>
}<o:p></o:p></p>
<p class=MsoNormal>
=> deleteRim(getRidOfData);<o:p></o:p></p>
<p class=MsoNormal>
// Skip message if changing algorithms<o:p></o:p></p>
<p class=MsoNormal>
if (problemStatus_!=10) {<o:p></o:p></p>
<p class=MsoNormal>
if (problemStatus_==-1)<o:p></o:p></p>
<p class=MsoNormal>
OsiClpSolverInterface::disableSimplexInterface(void)
[c:\cygwin\home\magala\coin\coin-decomp\osi\src\osiclp\osiclpsolverinterface.cpp:5331]<o:p></o:p></p>
<p class=MsoNormal>
// message will not appear anyway<o:p></o:p></p>
<p class=MsoNormal>
int saveMessageLevel=modelPtr_->messageHandler()->logLevel();<o:p></o:p></p>
<p class=MsoNormal>
modelPtr_->messageHandler()->setLogLevel(0);<o:p></o:p></p>
<p class=MsoNormal>
=> modelPtr_->finish();<o:p></o:p></p>
<p class=MsoNormal>
modelPtr_->messageHandler()->setLogLevel(saveMessageLevel);<o:p></o:p></p>
<p class=MsoNormal>
modelPtr_->restoreData(saveData_);<o:p></o:p></p>
<p class=MsoNormal>
modelPtr_->scaling(saveData_.scalingFlag_);<o:p></o:p></p>
<p class=MsoNormal>
OsiClpSolverInterface::resolve(void)
[c:\cygwin\home\magala\coin\coin-decomp\osi\src\osiclp\osiclpsolverinterface.cpp:851]<o:p></o:p></p>
<p class=MsoNormal>
int saveSolveType=modelPtr_->solveType();<o:p></o:p></p>
<p class=MsoNormal>
bool doingPrimal =
modelPtr_->algorithm()>0;<o:p></o:p></p>
<p class=MsoNormal>
if (saveSolveType==2) {<o:p></o:p></p>
<p class=MsoNormal>
=> disableSimplexInterface();<o:p></o:p></p>
<p class=MsoNormal>
}<o:p></o:p></p>
<p class=MsoNormal>
int saveOptions = modelPtr_->specialOptions();<o:p></o:p></p>
<p class=MsoNormal>
int startFinishOptions=0;<o:p></o:p></p>
<p class=MsoNormal>
DecompAlgo::solutionUpdate(DecompPhase,int,int)
[c:\cygwin\home\magala\coin\coin-decomp\decomp\src\decompalgo.cpp:1846]<o:p></o:p></p>
<p class=MsoNormal>
DecompAlgo::processNode(int,double,double) [c:\cygwin\home\magala\coin\coin-decomp\decomp\src\decompalgo.cpp:1452]<o:p></o:p></p>
<p class=MsoNormal>
AlpsDecompTreeNode::process(bool,bool)
[c:\cygwin\home\magala\coin\coin-decomp\decomp\src\alpsdecomptreenode.cpp:220]<o:p></o:p></p>
<p class=MsoNormal>
AlpsSubTree::exploreUnitWork(bool,int,double,AlpsExitStatus&,int&,int&,int&,int&,bool&)
[c:\cygwin\home\magala\coin\coin-decomp\alps\src\alpssubtree.cpp:1288]<o:p></o:p></p>
<p class=MsoNormal>
AlpsSubTree::exploreSubTree(AlpsTreeNode
*,int,double,int&,int&,int&,int&)
[c:\cygwin\home\magala\coin\coin-decomp\alps\src\alpssubtree.cpp:495]<o:p></o:p></p>
<p class=MsoNormal> AlpsKnowledgeBrokerSerial::rootSearch(AlpsTreeNode
*)
[c:\cygwin\home\magala\coin\coin-decomp\alps\src\alpsknowledgebrokerserial.cpp:226]<o:p></o:p></p>
<p class=MsoNormal> Allocation
location<o:p></o:p></p>
<p class=MsoNormal>
new(UINT)
[f:\dd\vctools\crt_bld\self_x86\crt\src\new.cpp:57]<o:p></o:p></p>
<p class=MsoNormal> <>=(UINT)
[f:\dd\vctools\crt_bld\self_x86\crt\src\newaop.cpp:7]<o:p></o:p></p>
<p class=MsoNormal>
ClpSimplex::createRim(int,bool,int)
[c:\cygwin\home\magala\coin\coin-decomp\clp\src\clpsimplex.cpp:3257]<o:p></o:p></p>
<p class=MsoNormal>
delete [] dj_;<o:p></o:p></p>
<p class=MsoNormal>
dj_ = new double[numberTotal];<o:p></o:p></p>
<p class=MsoNormal>
delete [] solution_;<o:p></o:p></p>
<p class=MsoNormal>
=> solution_ = new double[numberTotal];<o:p></o:p></p>
<p class=MsoNormal>
}<o:p></o:p></p>
<p class=MsoNormal>
reducedCostWork_ = dj_;<o:p></o:p></p>
<p class=MsoNormal>
rowReducedCost_ = dj_+numberColumns_;<o:p></o:p></p>
<p class=MsoNormal> ClpSimplex::startup(int,int)
[c:\cygwin\home\magala\coin\coin-decomp\clp\src\clpsimplex.cpp:7962]<o:p></o:p></p>
<p class=MsoNormal>
<o:p></o:p></p>
<p class=MsoNormal>
// put in standard form (and make row copy)<o:p></o:p></p>
<p class=MsoNormal>
// create modifiable copies of model rim and do optional scaling<o:p></o:p></p>
<p class=MsoNormal>
=> bool goodMatrix=createRim(7+8+16+32,true,startFinishOptions);<o:p></o:p></p>
<p class=MsoNormal>
<o:p></o:p></p>
<p class=MsoNormal>
if (goodMatrix) {<o:p></o:p></p>
<p class=MsoNormal>
// switch off factorization if bad<o:p></o:p></p>
<p class=MsoNormal>
OsiClpSolverInterface::enableSimplexInterface(bool)
[c:\cygwin\home\magala\coin\coin-decomp\osi\src\osiclp\osiclpsolverinterface.cpp:5312]<o:p></o:p></p>
<p class=MsoNormal>
#ifdef NDEBUG<o:p></o:p></p>
<p class=MsoNormal>
modelPtr_->startup(0);<o:p></o:p></p>
<p class=MsoNormal>
#else<o:p></o:p></p>
<p class=MsoNormal>
=> int returnCode=modelPtr_->startup(0);<o:p></o:p></p>
<p class=MsoNormal>
assert (!returnCode||returnCode==2);<o:p></o:p></p>
<p class=MsoNormal>
#endif<o:p></o:p></p>
<p class=MsoNormal>
modelPtr_->specialOptions_=saveOptions;<o:p></o:p></p>
<p class=MsoNormal>
OsiClpSolverInterface::resolve(void)
[c:\cygwin\home\magala\coin\coin-decomp\osi\src\osiclp\osiclpsolverinterface.cpp:1219]<o:p></o:p></p>
<p class=MsoNormal>
DecompAlgo::solutionUpdate(DecompPhase,int,int)
[c:\cygwin\home\magala\coin\coin-decomp\decomp\src\decompalgo.cpp:1846]<o:p></o:p></p>
<p class=MsoNormal>
DecompAlgo::processNode(int,double,double)
[c:\cygwin\home\magala\coin\coin-decomp\decomp\src\decompalgo.cpp:1191]<o:p></o:p></p>
<p class=MsoNormal>
AlpsDecompTreeNode::process(bool,bool)
[c:\cygwin\home\magala\coin\coin-decomp\decomp\src\alpsdecomptreenode.cpp:220]<o:p></o:p></p>
<p class=MsoNormal>
AlpsSubTree::exploreUnitWork(bool,int,double,AlpsExitStatus&,int&,int&,int&,int&,bool&)
[c:\cygwin\home\magala\coin\coin-decomp\alps\src\alpssubtree.cpp:1288]<o:p></o:p></p>
</div>
</body>
</html>