OpenCascade/occt
1
0
Fork 0
mirror of https://git.dev.opencascade.org/repos/occt.git synced 2025-04-03 17:56:21 +03:00
Code Packages Releases Activity

0031292: Data Exchange - SIGSEGV on reading STEP file with references to invalid entities

Browse Source 
Changes:

- in StepData_StepReaderData::ReadEntity, make sure that entity handle is not null before calling IsKind() of it.

- in StepData_StepReaderData::SetEntityNumbers, do not invert the sign of entity number of referenced parameter if the second pass is not required. Otherwise, the number -1 (obviously invalid) becomes 1 (invalid, but not obviously) without further correction of it.

- in StepData_UndefinedEntity::ReadRecord, consider the case when the entity number is positive but refers to non-existing entity. In this case literal value will be used instead of null entity for the problematic parameter.
This commit is contained in:
msv 2020-01-10 20:59:51 +03:00 committed by bugmaster
parent 0c061f3d9d
commit ef59b5e064
3 changed files with 22 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/StepData/StepData_StepReaderData.cxx
View File

@ -1038,7 +1038,7 @@ Standard_Boolean StepData_StepReaderData::ReadEntity(const Standard_Integer num,
if (entent.IsNull() || !entent->IsKind(atype))
{
errmess = new String("Parameter n0.%d (%s) : Entity has illegal type");
if (entent->IsKind(STANDARD_TYPE(StepData_UndefinedEntity)))
if (!entent.IsNull() && entent->IsKind(STANDARD_TYPE(StepData_UndefinedEntity)))
ent = entent;
}
else ent = entent;
@ -1087,7 +1087,7 @@ Standard_Boolean StepData_StepReaderData::ReadEntity(const Standard_Integer num,
{
errmess = new String("Parameter n0.%d (%s) : Entity has illegal type");
//fot not suppported STEP entity
if (entent->IsKind(STANDARD_TYPE(StepData_UndefinedEntity)))
if (!entent.IsNull() && entent->IsKind(STANDARD_TYPE(StepData_UndefinedEntity)))
sel.SetValue(entent);
}
else
@ -1583,8 +1583,10 @@ void StepData_StepReaderData::SetEntityNumbers(const Standard_Boolean withmap)
if (num0 > 0) FP.SetEntityNumber(num0); // ET VOILA, on a resolu
else FP.SetEntityNumber(-id); // CONFLIT -> faudra resoudre ...
} else { // NON RESOLU, si pas pbmap, le dire
FP.SetEntityNumber(-id);
if (pbmap) continue; // pbmap : on se retrouvera
if (pbmap) {
FP.SetEntityNumber(-id);
continue; // pbmap : on se retrouvera
}
char failmess[100];
// ... Construire le Check ...
sprintf(failmess,

9
src/StepData/StepData_UndefinedEntity.cxx
View File

@ -67,13 +67,16 @@ void StepData_UndefinedEntity::ReadRecord(const Handle(StepData_StepReaderData)&
Standard_Integer nume = 0;
if (partyp == Interface_ParamIdent) {
nume = SR->ParamNumber(num,i);
if (nume > 0) {
anent = SR->BoundEntity(nume);
if (anent.IsNull()) {
nume = 0;
}
}
if (nume <= 0) {
ach->AddFail("A reference to another entity is unresolved");
partyp = Interface_ParamVoid;
}
else {
anent = SR->BoundEntity(nume);
}
}
else if (partyp == Interface_ParamSub) {
nume = SR->ParamNumber(num,i);

10
tests/bugs/step/bug31292 Normal file
View File

@ -0,0 +1,10 @@
puts "========================"
puts "0031292: Data Exchange - SIGSEGV on reading STEP file with references to invalid entities"
puts "========================"
stepread [locate_data_file bug31292.stp] a *
renamevar a_1 result
checkshape result
checkview -display result -2d -path ${imagedir}/${test_image}.png