Comments (4)
git commit [7a260d0] and a few before help to achieve this goal by making the code more friendly towards Pareon Verify. For now, the only issue fixed is e2aa296.
from tbe.
Found this one:
===== PAREON VERIFY =====
[M0443] Array bound violation(s) detected:
the write in
function ViewPingus::ViewPingus(std::shared_ptr<AbstractObject>) at tbe-github/src/view/ViewPingus.cpp:50
called from function Pingus::createViewObject(float) at tbe-github/src/model/Pingus.cpp:271
called from function World::addAbstractObjectToViewWorld(std::shared_ptr<AbstractObject>) at tbe-github/src/model/World.cpp:126
called from function World::createScene(ResizingGraphicsView*) at tbe-github/src/model/World.cpp:205
called from function MainWindow::loadLevel(QString const&) at tbe-github/src/view/MainWindow.cpp:109
called from function MainWindow::loadLevelDelayed() at tbe-github/src/view/MainWindow.cpp:118
called from function MainWindow::qt_static_metacall(QObject*, QMetaObject::Call, int, void**) at tbe-github/build/src/view/moc_MainWindow.cxx:175
called from unanalyzed function QApplication::exec()
called from function main at tbe-github/src/main.cpp:315
^^^ application start ^^^
performed 9 access(es) of size 4 at an offset of 292 bytes from the start of
the heap object of size 296 allocated through a call to `operator new(unsigned long)' in
function Pingus::createViewObject(float) at tbe-github/src/model/Pingus.cpp:271
called from function World::addAbstractObjectToViewWorld(std::shared_ptr<AbstractObject>) at tbe-github/src/model/World.cpp:126
called from function World::createScene(ResizingGraphicsView*) at tbe-github/src/model/World.cpp:205
called from function MainWindow::loadLevel(QString const&) at tbe-github/src/view/MainWindow.cpp:109
called from function MainWindow::loadLevelDelayed() at tbe-github/src/view/MainWindow.cpp:118
called from function MainWindow::qt_static_metacall(QObject*, QMetaObject::Call, int, void**) at tbe-github/build/src/view/moc_MainWindow.cxx:175
called from unanalyzed function QApplication::exec()
called from function main at tbe-github/src/main.cpp:315
^^^ application start ^^^
where array index 7 is outside of array `.field2[0..6]' in
function ViewPingus::ViewPingus(std::shared_ptr<AbstractObject>) at tbe-github/src/view/ViewPingus.cpp:50
called from function Pingus::createViewObject(float) at tbe-github/src/model/Pingus.cpp:271
called from function World::addAbstractObjectToViewWorld(std::shared_ptr<AbstractObject>) at tbe-github/src/model/World.cpp:126
called from function World::createScene(ResizingGraphicsView*) at tbe-github/src/model/World.cpp:205
called from function MainWindow::loadLevel(QString const&) at tbe-github/src/view/MainWindow.cpp:109
called from function MainWindow::loadLevelDelayed() at tbe-github/src/view/MainWindow.cpp:118
called from function MainWindow::qt_static_metacall(QObject*, QMetaObject::Call, int, void**) at tbe-github/build/src/view/moc_MainWindow.cxx:175
called from unanalyzed function QApplication::exec()
called from function main at tbe-github/src/main.cpp:315
^^^ application start ^^^
1 error(s)
from tbe.
When deleting and undoing delete in picnic-0:
** t=162: UndoSingleton::push for 'Remove Quarter Arc Large'
** t=162: InsertUndoCommand::undo for 'Remove Quarter Arc Large'
** t=162: AbstractUndoCommand::undo for 'Remove Quarter Arc Large'
* t=162: setNewGeometry Pos: (4.70475,2.7315)@1.94855, WxH 0.8x0.8
** t=165: InsertUndoCommand::redo for 'Remove Quarter Arc Large'
WARNING: Process 28894 caught terminating signal 11 (Segmentation fault).
Segmentation fault (core dumped)
klaas@x230:~/Programming/tbe-github$ ===== PAREON VERIFY =====
[M0224] Segmentation-violation signal delivered to unanalyzed function `QGraphicsItem::setVisible(bool)' called in
function InsertUndoCommand::redo() at /home/klaas/Programming/tbe-github/src/control/InsertUndoCommand.cpp:134
called from function DeleteUndoCommand::undo() at /home/klaas/Programming/tbe-github/src/control/DeleteUndoCommand.cpp:56
called from unanalyzed function QApplication::exec()
called from function main at /home/klaas/Programming/tbe-github/src/main.cpp:323
^^^ application start ^^^
1 error(s)
from tbe.
Looks like TBE is rather crash-free. Yay!
from tbe.
Related Issues (20)
- No hints HOT 1
- Object cannot be moved back to toolbox HOT 1
- No enough space for buttons HOT 3
- Hints are outside scene HOT 1
- Phone number cannot be selected HOT 1
- Switch back on stable old-ui branch HOT 30
- Incorrect scale of some object images HOT 4
- Old UI cleanup HOT 3
- [Discussion] Requirements for UI rework
- Level difficulty ratings HOT 2
- Bad collision polygons of some objects HOT 7
- Add <hints> to all levels HOT 2
- Remove install instructions from wiki HOT 2
- Redo ugly stick figures HOT 2
- Move sorting-4 to attic
- Remove skipped levels HOT 2
- Simulation is not deterministic if many explosions
- Simplify level licensing / replace “Public Domain” with all-permissive license HOT 2
- Linking error: QTest HOT 1
- Level 47 HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from tbe.