Bad Toonz 2Dアニメーションパッケージコード

先日、TOONZプロジェクトの作成者であるDigital Videoと日本の出版社DWANGOが、2Dアニメーションを作成するためのソフトウェアであるToonzプロジェクトのDWANGO社による買収に関する契約に署名したことがわかりました。

当事者間で締結された契約条件に基づき、Toonzが開発したプロジェクトであるOpenToonzへのオープンアクセスが公開されます。 また、これらのプログラムのアクティブユーザーであるStudio Ghibliが開発した要素も含まれます。 たとえば、スタジオジブリは「ハウルのウォーキングキャッスル」、「千と千尋の神隠し」、「ポニョフィッシュ」などの絵画を作成しました。 その中には、Futuramaの漫画もあります。これは、OpenToonzのソースコードに関するこの明らかになる記事を書くきっかけになりました。

はじめに

OpenToonzは2Dアニメーションソフトウェアです。 基本は、イタリアの会社Digital Videoによって開発されたToonzプロジェクトです。 Studio Ghibliはこのプログラムを採用して、長年にわたってこのプログラムの使用に成功しています。 アニメーション映画に加えて、このプロジェクトはコンピューターゲーム（Discworld 2およびClaw）にも関与していました。

パッケージの価格はこれまで10,000ドルでしたが、コードの品質には多くの要望があります。 このプロジェクトは、あらゆる静的アナライザーにとって天の恵みです。 OpenToonzのソースコードのサイズはFreeBSDカーネルの約1/10であり、PVS-Studioアナライザーを使用して40以上の重大なエラーが見つかりましたが、さらに多くがあります！

OpenToonzは、Visual Studio 2013でPVS-Studioバージョン6.03静的アナライザーを使用してテストされました。静的アナライザーは、積極的に開発され、C / C ++ / C＃言語とさまざまなビルドシステムをサポートします。 プロジェクトのコンパイル中であっても、コンパイラの警告の数が急速に増え始めたとき、私は警戒していました。 アセンブリの終了時、その数は1211個でした！ つまり ソースコードの品質管理はほとんど無視されていました。 さらに、一部のコンパイラ警告は#pragma warningディレクティブを使用して無効にされましたが、ここでもエラーが発生しました。これについては以下で説明します。 この記事は、プロジェクトで多くの実際のエラーが見つかったという事実によって区別されます。これは通常、C / C ++を学習し始めたばかりの初心者によって作成されます。 メモリエラーとポインターエラーで検出されたアナライザーの警告の説明を開始します。

誤ったメモリ処理

V611メモリは「new」演算子を使用して割り当てられましたが、「free」機能を使用して解放されました。 「行」変数の背後にある操作ロジックを調べることを検討してください。 motionblurfx.cpp 288

template <class T> void doDirectionalBlur(....) { T *row, *buffer; .... row = new T[lx + 2 * brad + 2]; // <= if (!row) return; memset(row, 0, (lx + 2 * brad + 2) * sizeof(T)); .... free(row); // <= r->unlock(); } 

ここで、アナライザーは、互換性のない方法で動的メモリが割り当てられ、解放されることを発見しました。 新しい[]演算子を呼び出した後、 delete []演算子を使用してメモリを解放する必要があります。 2つの角括弧付きです！ これには理由があります。次の例を参照してください。

V611メモリーは「new T []」演算子を使用して割り当てられましたが、「delete」演算子を使用して解放されました。 このコードを調べることを検討してください。 「delete [] uPrime;」を使用することをお勧めします。 tstroke.cpp 3353

 double *reparameterize3D(....) { double *uPrime = new double[size]; // <= for (int i = 0; i < size; i++) { uPrime[i] = NewtonRaphsonRootFind3D(....); if (!_finite(uPrime[i])) { delete uPrime; // <= return 0; } } .... } 

C ++では、演算子new / deleteおよびnew [] / delete []が互いに組み合わせて使用​​されます。 異なる演算子を使用して動的メモリを割り当てたり解放したりするのは間違いです。 上記のコードでは、 uPrime配列によって占有されているメモリは正しく解放されません。

残念ながら、これが唯一の場所ではありません。 OpenToonz_V611.txtファイルにさらに20箇所を書き込みました。

V554 auto_ptrの誤った使用。 「new []」で割り当てられたメモリは、「delete」を使用して消去されます。 screensavermaker.cpp 29

 void makeScreenSaver(....) { .... std::auto_ptr<char> swf(new char[swfSize]); .... } 

考慮されるエラーの代替バリアントがありますが、ここでは削除演算子はスマートポインターstd :: auto_ptr内に「隠されています」。 これは、未定義のプログラムの動作にもつながります。

エラーを修正するには、 delete []演算子を使用するように指定する必要があります。

コードの正しいバージョン：

 std::unique_ptr<char[]> swf(new char[swfSize]); 

V599 「TTileSet」クラスには仮想関数が含まれていますが、デストラクタは仮想デストラクタとして宣言されていません。 cellselection.cpp 891

 void redo() const { insertLevelAndFrameIfNeeded(); TTileSet *tiles; // <= bool isLevelCreated; pasteRasterImageInCellWithoutUndo(...., &tiles, ....); delete tiles; // <= TApp::instance()->getCurrentXsheet()->notifyXsheetChanged(); } 

次に、メモリリークとオブジェクトの不完全な破壊について説明します。 この例では、 TTileSetクラスから継承されたオブジェクトは完全には破棄されません。

TTileSetクラスの説明 ：

 class DVAPI TTileSet { .... protected: TDimension m_srcImageSize; typedef std::vector<Tile *> Tiles; Tiles m_tiles; public: TTileSet(const TDimension &dim) : m_srcImageSize(dim) { } ~TTileSet(); // <= .... virtual void add(const TRasterP &ras, TRect rect) = 0; .... virtual TTileSet *clone() const = 0; }; 

このクラスには純粋な仮想関数が含まれており、抽象クラスです。 このクラスのオブジェクトは作成できないため、派生クラスでのみ使用されます。 したがって、仮想デストラクタTTileSetがないため（デストラクタはありますが、仮想としてマークされていません）、すべての派生クラスは完全にクリアされません。

OpenToonzソースコードで、 TTileSetを継承するいくつかのクラスを見つけました。

 class DVAPI TTileSetCM32 : public TTileSet class DVAPI TTileSetCM32 : public TTileSet class DVAPI TTileSetFullColor : public TTileSet class DVAPI Tile : public TTileSet::Tile 

これらのクラス（またはそれらから継承されたクラス）の各オブジェクトは完全には破棄されません。 正式には、これは未定義のプログラムの動作につながります。 実際には、これはメモリやその他のリソースのリークにつながる可能性があります。

開発者は、さらに2つの同様の場所をチェックアウトする必要があります。

• V599「MessageParser」クラスには仮想関数が含まれていますが、仮想デストラクタは存在しません。 tipcsrv.cpp 91
• V599「ColumnToCurveMapper」クラスには仮想関数が含まれていますが、仮想デストラクタは存在しません。 functionselection.cpp 278

ポインターの危険な使用

V503これは無意味な比較です：ポインター<0。styleselection.cpp104

 bool pasteStylesDataWithoutUndo(....) { .... if (palette->getStylePage(styleId) < 0) { // <= // styleId non e' utilizzato: uso quello // (cut/paste utilizzato per spostare stili) palette->setStyle(styleId, style); } else { // styleId e' gia' utilizzato. ne devo prendere un altro styleId = palette->getFirstUnpagedStyle(); if (styleId >= 0) palette->setStyle(styleId, style); else styleId = palette->addStyle(style); } .... } 

getStylePage（）関数は、特定のページTPalette :: Page *へのポインターを返します。 このようなゼロとの比較は意味がありません。 getStylePage（）関数の使用を検索した後、他のすべてのケースで、この関数の結果がゼロと等しいか等しくないかのみがチェックされ、この時点でエラーが発生したことがわかりました。

V522 NULLポインター「リージョン」の逆参照が行われる場合があります。 論理条件を確認してください。 palettecmd.cpp 102

 bool isStyleUsed(const TVectorImageP vi, int styleId) { .... TRegion *region = vi->getRegion(i); if (region || region->getStyle() != styleId) return true; .... } 

ほとんどの場合、演算子「&&」と「||」はこのコードフラグメントで混乱しています。 それ以外の場合、 領域ポインターがゼロの場合、逆参照されます。

V614潜在的に初期化されていないポインター「ソケット」が使用されました。 'connect'関数の最初の実引数を確認することを検討してください。 tmsgcore.cpp 36

 void TMsgCore::OnNewConnection() //server side { QTcpSocket *socket; if (m_tcpServer) // <= socket = m_tcpServer->nextPendingConnection(); // <= assert(socket); bool ret = connect(socket, ....); // <= ret = ret && connect(socket, ....); // <= assert(ret); m_sockets.insert(socket); } 

アナライザーは、初期化されていないソケットポインターの潜在的な使用を検出しました。 m_tcpServer変数がfalseの場合、ポインターは初期化されません。 この初期化されていない形式では、connect（）関数に渡すことができます。

V595 nullptrに対して検証される前に、「batchesTask」ポインターが使用されました。 行を確認してください：1064、1066。batches.cpp 1064

 void BatchesController::update() { .... TFarmTask *batchesTask = getTask(batchesTaskId); // <= TFarmTask farmTask = *batchesTask; // <= if (batchesTask) { // <= QString batchesTaskParentId = batchesTask->m_parentId; m_controller->queryTaskInfo(farmTaskId, farmTask); int chunkSize = batchesTask->m_chunkSize; *batchesTask = farmTask; batchesTask->m_chunkSize = chunkSize; batchesTask->m_id = batchesTaskId; batchesTask->m_parentId = batchesTaskParentId; } .... } 

コードには、nullポインターの逆参照が発生する可能性のある多くの場所があります。 通常、適切なチェックが存在しますが、ポインターが使用される1つ以上の場所はとにかく安全ではありません。 たとえば、このコードスニペットにはbatchesTaskチェックがありますが、チェックの前に、1つのポインター逆参照が既に実行されます。

OpenToonz_V595.txtファイルにさらに29の同様の場所を書き留めました。

文字列エラー

V530関数「toUpper」の戻り値を使用する必要があります。 sceneviewerevents.cpp 847

 void SceneViewer::keyPressEvent(QKeyEvent *event) { .... QString text = event->text(); if ((event->modifiers() & Qt::ShiftModifier)) text.toUpper(); .... } 

toUpper（）メソッドは、文字列「text」を変更しません。 ドキュメントでは、QString QString :: toUpper（）const、つまり 定数メソッドです。

コードの正しいバージョン：

 QString text = event->text(); if ((event->modifiers() & Qt::ShiftModifier)) text = text.toUpper(); 

コードには、戻り値が使用されない関数がさらに3つ含まれています。 これらすべての場所は修正が必要です。

• V530関数 'left'の戻り値を使用する必要があります。 tfarmserver.cpp 569
• V530関数「ftell」の戻り値を使用する必要があります。 tiio_bmp.cpp 804
• V530関数「accumulate」の戻り値を使用する必要があります。 bendertool.cpp 374

V614未初期化イテレーター 'it1'が使用されました。 fxcommand.cpp 2096

 QString DeleteLinksUndo::getHistoryString() { .... std::list<TFxP>::const_iterator it1; // <= std::list<TFx *>::const_iterator ft; for (ft = m_terminalFxs.begin(); ft != ....end(); ++ft) { if (ft != m_terminalFxs.begin()) str += QString(", "); str += QString("%1- -Xsheet") .arg(QString::fromStdWString((*it1)->getName())); // <= } .... } 

文字列操作は、初期化されていないイテレータit1を使用します。 ほとんどの場合、1つの場所で、 ftイテレータに置き換えるのを忘れていました。

V642 「_wcsicmp」関数の結果を「char」型変数内に保存することは不適切です。 プログラムのロジックを壊して、重要なビットが失われる可能性があります。 tfilepath.cpp 328

 bool TFilePath::operator<(const TFilePath &fp) const { .... char differ; differ = _wcsicmp(iName.c_str(), jName.c_str()); if (differ != 0) return differ < 0 ? true : false; .... } 

_wcsicmp関数は、 int型の次の値を返します。

• <0- string1からstring2未満。
• 0- string2はstring2と同じです。
• > 0- string2はstring2より大きい。

注意してください。 「> 0」は任意の数値を意味し、1ではありません。これらの数値は、2、3、100、256、1024、5555などです。 _wcsicmp関数の結果は、char型の変数に適合しない場合があります。そのため、比較演算子は予期しない結果を返します。

V643異常なポインター演算： "\\" + v [i]。 「char」タイプの値が文字列ポインターに追加されています。 tstream.cpp 31

 string escape(string v) { int i = 0; for (;;) { i = v.find_first_of("\\\'\"", i); if (i == (int)string::npos) break; string h = "\\" + v[i]; // <= v.insert(i, "\\"); i = i + 2; } return v; } 

アナライザーは、文字定数を文字列リテラルに追加することに関連するエラーを検出しました。 文字列に文字が追加されることが予期されていましたが、文字列ポインタに数値が追加されるため、文字列リテラルが終了し、予期しない結果が生じます。

より明確にするために、このコードと同等のものを次に示します。

 const char *p1 = "\\"; const int delta = v[i]; const char *p2 = *p1 + delta; string h = p2; 

コードの正しいバージョン：

 string h = string("\\") + v[i]; 

V655ストリングは連結されましたが、使用されません。 「エイリアス+ "]"」式の検査を検討してください。 plasticdeformerfx.cpp 150

 string PlasticDeformerFx::getAlias(....) const { std::string alias(getFxType()); alias += "["; .... if (sd) alias += ", "+toString(sd, meshColumnObj->paramsTime(frame)); alias + "]"; // <= return alias; } 

アナライザーは、結果が使用されていない式を検出しました。 最も可能性が高いのは、演算子「+」が誤って「+ =」ではなくこの関数に記述されていることです。 この結果、プログラマが計画したように、末尾の角括弧はエイリアス行に追加されません。

無効な例外

V596オブジェクトは作成されましたが、使用されていません。 「throw」キーワードが欠落している可能性があります：throw domain_error（FOO）; pluginhost.cpp 1486

 void Loader::doLoad(const QString &file) { .... int ret = pi->ini_(host); if (ret) { delete host; std::domain_error("failed initialized: error on ...."); } .... } 

関数では、 throwキーワードは誤って忘れられます。 結果-このコードは、エラーの場合に例外をスローしません。 コードの修正バージョン：

 throw std::domain_error("failed initialized: error on ...."); 

V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 iocommand.cpp 1620

 bool IoCmd::saveLevel(....) { .... try { sl->save(fp, TFilePath(), overwritePalette); } catch (TSystemException se) { // <= QApplication::restoreOverrideCursor(); MsgBox(WARNING, QString::fromStdWString(se.getMessage())); return false; } catch (...) { .... } .... } 

アナライザーは、値による例外のキャッチに関連する潜在的なエラーを検出しました。 つまり、コピーコンストラクターを使用して、 TSystemException型の新しいseオブジェクトが構築されます。 これにより、 TSystemExceptionから継承したクラスに保存された例外情報の一部が失われます 。

同様の不審な場所：

• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 iocommand.cpp 2650
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 projectpopup.cpp 522
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 projectpopup.cpp 537
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 projectpopup.cpp 635
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 tlevel_io.cpp 130
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 calligraph.cpp 161
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 calligraph.cpp 165
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 patternmap.cpp 210
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 patternmap.cpp 214
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 patternmap.cpp 218
• V746タイプのスライス。 例外は、値ではなく参照によってキャッチする必要があります。 scriptbinding_level.cpp 221

無効な条件

V547式 '（int）startOutPoints.size（）％2！= 2'は常にtrueです。 rasterselection.cpp 852

 TStroke getIntersectedStroke(TStroke &stroke, TRectD bbox) { .... for (t = 0; t < (int)outPoints.size(); t++) addPointToVector(...., (int)startOutPoints.size() % 2 != 2); .... } 

興味深い間違い。 最も可能性が高いのは、 サイズ（）の値が偶数か奇数かを判断することを計画したことです。 したがって、2で割った余りはゼロと比較する必要があります。

V502おそらく、「?:」演算子は予想とは異なる方法で動作します。 「？：」演算子は、「+」演算子よりも優先度が低くなります。 igs_motion_wind_pixel.cpp 127

 void rgb_to_lightness_( const double re, const double gr, const double bl, double &li) { li=((re < gr) ? ((gr < bl) ? bl : gr) : ((re < bl) ? bl : re) + (gr < re) ? ((bl < gr) ? bl : gr) : ((bl < re) ? bl : re)) / 2.0; } 

このコードフラグメントでは、三項演算子「：？」の優先度に関連するエラーが発生しました。 その優先順位は、加算演算子の優先順位よりも低くなっています。 その結果、条件（re <gr）が falseの場合、さらに計算が正しく実行されません。実際の変数は論理的なものと加算され始めます。

複数の三項演算子を一緒に使用しないでください-これは、コードにエラーを追加する最短の方法です。

V590 'state ==（-3）||の検査を検討する state！= 0 '式。 表現が過剰であるか、誤植が含まれています。 psdutils.cpp 174

 int psdUnzipWithoutPrediction(....) { .... do { state = inflate(&stream, Z_PARTIAL_FLUSH); if (state == Z_STREAM_END) break; if (state == Z_DATA_ERROR || state != Z_OK) // <= break; } while (stream.avail_out > 0); .... } 

矢印でマークされた条件は、部分式「state == Z_DATA_ERROR」の結果に依存しません。 これは、条件式全体の真理値表を作成すると簡単に確認できます。

コピーアンドペーストプログラミング

V517 「if（A）{...} else if（A）{...}」パターンの使用が検出されました。 論理エラーが存在する可能性があります。 行を確認してください：1448、1454。tcenterlineskeletonizer.cpp 1448

 inline void Event::processVertexEvent() { .... if (newLeftNode->m_concave) { // <= newLeftNode->m_notOpposites = m_generator->m_notOpposites; append<vector<ContourEdge *>, vector<ContourEdge *>::.... newLeftNode->m_notOpposites.push_back(newRightNode->m_edge); newLeftNode->m_notOpposites.push_back(newRightNode->....); } else if (newLeftNode->m_concave) { // <= newRightNode->m_notOpposites = m_generator->m_notOpposites; append<vector<ContourEdge *>, vector<ContourEdge *>::.... newRightNode->m_notOpposites.push_back(newLeftNode->m_edge); newRightNode->m_notOpposites.push_back(newLeftNode->....); } .... } 

条件内の変数newLeftNodeとnewRightNodeは、ここで混同されます。 このようなエラーの結果として、 elseブランチは実行されません。 おそらく、条件の1つはif（newRightNode-> m_concave）のようになります。

V501 「||」の左と右に同一のサブ式があります 演算子：m_cutLx || m_cutLx canvassizepopup.cpp 271

 bool m_cutLx, m_cutLy; void PeggingWidget::on00() { .... m_11->setIcon(...).rotate(m_cutLx || m_cutLx ? -90 : 90),....)); .... } 

コードには、 m_cutLxとm_cutLyの 2つの論理変数が含まれていますが、これらは最後の1文字だけ異なります。 上記の例では、同じ変数m_cutLxを使用しています。 おそらく、それらの1つでタイプミスが行われました。

V501 「||」の左側と右側に同一のサブ式「parentTask-> m_status == Aborted」があります。 演算子。 tfarmcontroller.cpp 1857

 void FarmController::taskSubmissionError(....) { .... if (parentTask->m_status == Aborted || // <= parentTask->m_status == Aborted) { // <= parentTask->m_completionDate = task->m_completionDate; if (parentTask->m_toBeDeleted) m_tasks.erase(itParent); } .... } 

アナライザーは、 Aborted定数との2つの同一の比較を見つけました。 ファイルを検索した後、このファイルの行2028で、同一のコードブロックを見つけましたが、次の条件があります。

 if (parentTask->m_status == Completed || parentTask->m_status == Aborted) { 

ほとんどの場合、この場所では条件式は似ているはずです。

V501 「||」の左と右に同一の副次式「cornerCoords.y> upperBound」があります。 演算子。 tellipticbrush.cpp 1020

 template <typename T> void tellipticbrush::OutlineBuilder::addMiterSideCaps(....) { .... if (cornerCoords == TConsts::napd || cornerCoords.x < lowerBound || cornerCoords.y > upperBound || cornerCoords.y < lowerBound || cornerCoords.y > upperBound) { .... } .... } 

次に、プログラマーはxの代わりにyを使用して小さなタイプミスを行いました。

コピーペーストプログラミングの結果として発生した6つのエラーについては説明しませんが、リストを示します。 これらの場所は、開発者が確認する必要があります。

• V501 '||'の左と右に同じサブ式 's.m_repoStatus == "modified"'があります。 演算子。 svnupdatedialog.cpp 210
• V501「||」の左側と右側に同一の副次式「m_lineEdit-> hasFocus（）」があります。 演算子。 framenavigator.cpp 44
• V517「if（A）{...} else if（A）{...}」パターンの使用が検出されました。 論理エラーが存在する可能性があります。 行を確認してください：750、825。tpalette.cpp 750
• V517「if（A）{...} else if（A）{...}」パターンの使用が検出されました。 論理エラーが存在する可能性があります。 行を確認：123、126。igs_density.cpp 123
• V523「then」ステートメントは「else」ステートメントと同等です。 typetool.cpp 813
• V583「？：」演算子は、その条件式に関係なく、常に1つの同じ値を返します：コンマ。 tgrammar.cpp 731

その他のエラー

V665おそらく、このコンテキストでは「#pragma warning（default：X）」の使用法が正しくありません。 代わりに「#pragma warning（push / pop）」を使用する必要があります。 行を確認：20、205。tspectrum.h 205

 #ifdef WIN32 #pragma warning(disable : 4251) #endif .... #ifdef WIN32 #pragma warning(default : 4251) #endif 

これがコンパイラ警告をオフにする方法です。それにもかかわらず、このプロジェクトでは注意を払っています。 エラーは、 ＃pragma warning（デフォルト：X）ディレクティブに警告が含まれていないが、それをデフォルト状態に設定することです。これはプログラマーが期待するものではない場合があります。

コードの修正バージョン：

 #ifdef WIN32 #pragma warning(push) #pragma warning(disable : 4251) #endif .... #ifdef WIN32 #pragma warning(pop) #endif 

V546クラスのメンバーはそれ自体で初期化されます： 'm_subId（m_subId）'。 tfarmcontroller.cpp 572

 class TaskId { int m_id; int m_subId; public: TaskId(int id, int subId = -1) : m_id(id), m_subId(m_subId){}; 

クラス初期化リストの興味深いエラー。 m_subldフィールドはそれ自体で初期化されますが、おそらくm_subId（subId）を書きたいと思うでしょう。

V557配列のオーバーランが可能です。 「9」インデックスは配列の境界を超えています。 tconvolve.cpp 123

 template <class PIXOUT> void doConvolve_cm32_row_9_i(....) { TPixel32 val[9]; // <= .... for (int i = 0; i < 9; ++i) { // <= OK .... else if (tone == 0) val[i] = inks[ink]; else val[i] = blend(....); } pixout->r = (typename PIXOUT::Channel)(( val[1].r * w1 + val[2].r * w2 + val[3].r * w3 + val[4].r * w4 + val[5].r * w5 + val[6].r * w6 + val[7].r * w7 + val[8].r * w8 + val[9].r * w9 + // <= ERR (1 << 15)) >> 16); pixout->g = (typename PIXOUT::Channel)(( val[1].g * w1 + val[2].g * w2 + val[3].g * w3 + val[4].g * w4 + val[5].g * w5 + val[6].g * w6 + val[7].g * w7 + val[8].g * w8 + val[9].g * w9 + // <= ERR (1 << 15)) >> 16); pixout->b = (typename PIXOUT::Channel)(( val[1].b * w1 + val[2].b * w2 + val[3].b * w3 + val[4].b * w4 + val[5].b * w5 + val[6].b * w6 + val[7].b * w7 + val[8].b * w8 + val[9].b * w9 + // <= ERR (1 << 15)) >> 16); pixout->m = (typename PIXOUT::Channel)(( val[1].m * w1 + val[2].m * w2 + val[3].m * w3 + val[4].m * w4 + val[5].m * w5 + val[6].m * w6 + val[7].m * w7 + val[8].m * w8 + val[9].m * w9 + // <= ERR (1 << 15)) >> 16); .... } 

誰かが1〜9のインデックスで9つの要素からなるval配列にアクセスする大きなコード。0〜8のインデックスで配列に正しくアクセスするループが近くにあります。

V556異なる列挙型の値が比較されます：m_action！= EDIT_SEGMENT。 タイプ：アクション、CursorType。 controlpointeditortool.cpp 257

 enum Action { NONE, RECT_SELECTION, CP_MOVEMENT, SEGMENT_MOVEMENT, IN_SPEED_MOVEMENT, OUT_SPEED_MOVEMENT }; enum CursorType { NORMAL, ADD, EDIT_SPEED, EDIT_SEGMENT, NO_ACTIVE }; void ControlPointEditorTool::drawMovingSegment() { int beforeIndex = m_moveSegmentLimitation.first; int nextIndex = m_moveSegmentLimitation.second; if (m_action != EDIT_SEGMENT || // <= beforeIndex == -1 || nextIndex == -1 || !m_moveControlPointEditorStroke.getStroke()) return; .... } 

アナライザーは、異なるタイプの列挙値の比較を検出しました。 コード検索を使用して、クラスm_actionのフィールドが正しい型で初期化され、この場所で別の型の定数と比較されることもわかりました。

おわりに

すでに述べたように、OpenToonzプロジェクトは静的コードアナライザーにとって天の恵みです。このような小さなプロジェクトには多くの重大なエラーが含まれています。 この記事には、すべてのアナライザーメッセージが含まれているだけでなく、その数が多いために多くの興味深く深刻な警告も含まれていませんでした。 もちろん、開発者フォーラムのチェックについて書いていきます。 おそらく、彼らはコードの品質を改善することに興味があるでしょう。

ソフトウェア製品Universal Scene Description（USD）のコードを開く意図も、Pixarによって発表されました。 このイベントを楽しみにしています。

C / C ++ / C＃プロジェクトでPVS-Studioを試してみることをお勧めします。 アナライザーはWindows環境で実行され、さまざまなビルドシステムをサポートします。


英語を話す聴衆とこの記事を共有したい場合は、翻訳へのリンクを使用してください：Svyatoslav Razmyslov。 Toonzのコードには多くの要望が残されています 。