Skip to main content
本文から 32 文字削除
ソース リンク
user39889
user39889

ちなみに、最近の gcc ではコンパイル時に -D_GLIBCXX_DEBUG オプションを指定しておくと、実行時に boudary check を行うコードを追加してくれます。

====
x.cc
====

#include <iostream>
#include <iterator>
#include <array>

using namespace std;

int main () {
  std::array<int, 4> p;

  p[0] = 'a'; p[1] = 'b'; p[2] = 'c'; p[3] = 'd'; p[4] = 'e'; p[5] = 'f';

  std::copy(p.begin(), p.begin()+6, std::ostream_iterator<char>(std::cout));
  std::cout << "\n";
}

$ g++ --version
g++ (Ubuntu 7.3.0-16ubuntu3) 7.3.0

$ g++ -o x x.cc && ./x
abcdef

## Define _GLIBCXX_DEBUG
$ g++ -D_GLIBCXX_DEBUG -o x x.cc && ./x
/usr/include/c++/7/debug/array:155:
Error: attempt to subscript container with out-of-bounds index 4, but 
container only holds 4 elements.

Objects involved in the operation:
    sequence "this" @ 0x0x7fff151c6a10 {
      type = std::__debug::array<int, 4ul>;
    }
Aborted (core dumped)

その他に、cppcheck - tool for static C/C++ code analysis というツールがあります。

$ cppcheck x.cc
Checking x.cc ...
[x.cc:10]: (error) Array 'p[4]' accessed at index 4, which is out of bounds.
[x.cc:10]: (error) Array 'p[4]' accessed at index 5, which is out of bounds.

ちなみに、最近の gcc ではコンパイル時に -D_GLIBCXX_DEBUG オプションを指定しておくと、実行時に boudary check を行うコードを追加してくれます。

====
x.cc
====

#include <iostream>
#include <iterator>
#include <array>

using namespace std;

int main () {
  std::array<int, 4> p;

  p[0] = 'a'; p[1] = 'b'; p[2] = 'c'; p[3] = 'd'; p[4] = 'e'; p[5] = 'f';

  std::copy(p.begin(), p.begin()+6, std::ostream_iterator<char>(std::cout));
  std::cout << "\n";
}

$ g++ --version
g++ (Ubuntu 7.3.0-16ubuntu3) 7.3.0

$ g++ -o x x.cc && ./x
abcdef

## Define _GLIBCXX_DEBUG
$ g++ -D_GLIBCXX_DEBUG -o x x.cc && ./x
/usr/include/c++/7/debug/array:155:
Error: attempt to subscript container with out-of-bounds index 4, but 
container only holds 4 elements.

Objects involved in the operation:
    sequence "this" @ 0x0x7fff151c6a10 {
      type = std::__debug::array<int, 4ul>;
    }
Aborted (core dumped)

その他に、cppcheck - tool for static C/C++ code analysis というツールがあります。

$ cppcheck x.cc
Checking x.cc ...
[x.cc:10]: (error) Array 'p[4]' accessed at index 4, which is out of bounds.
[x.cc:10]: (error) Array 'p[4]' accessed at index 5, which is out of bounds.

ちなみに、最近の gcc ではコンパイル時に -D_GLIBCXX_DEBUG オプションを指定しておくと、実行時に boudary check を行うコードを追加してくれます。

====
x.cc
====

#include <iostream>
#include <iterator>
#include <array>

int main () {
  std::array<int, 4> p;

  p[0] = 'a'; p[1] = 'b'; p[2] = 'c'; p[3] = 'd'; p[4] = 'e'; p[5] = 'f';

  std::copy(p.begin(), p.begin()+6, std::ostream_iterator<char>(std::cout));
  std::cout << "\n";
}

$ g++ --version
g++ (Ubuntu 7.3.0-16ubuntu3) 7.3.0

$ g++ -o x x.cc && ./x
abcdef

## Define _GLIBCXX_DEBUG
$ g++ -D_GLIBCXX_DEBUG -o x x.cc && ./x
/usr/include/c++/7/debug/array:155:
Error: attempt to subscript container with out-of-bounds index 4, but 
container only holds 4 elements.

Objects involved in the operation:
    sequence "this" @ 0x0x7fff151c6a10 {
      type = std::__debug::array<int, 4ul>;
    }
Aborted (core dumped)

その他に、cppcheck - tool for static C/C++ code analysis というツールがあります。

$ cppcheck x.cc
Checking x.cc ...
[x.cc:10]: (error) Array 'p[4]' accessed at index 4, which is out of bounds.
[x.cc:10]: (error) Array 'p[4]' accessed at index 5, which is out of bounds.
ソース リンク
user39889
user39889

ちなみに、最近の gcc ではコンパイル時に -D_GLIBCXX_DEBUG オプションを指定しておくと、実行時に boudary check を行うコードを追加してくれます。

====
x.cc
====

#include <iostream>
#include <iterator>
#include <array>

using namespace std;

int main () {
  std::array<int, 4> p;

  p[0] = 'a'; p[1] = 'b'; p[2] = 'c'; p[3] = 'd'; p[4] = 'e'; p[5] = 'f';

  std::copy(p.begin(), p.begin()+6, std::ostream_iterator<char>(std::cout));
  std::cout << "\n";
}

$ g++ --version
g++ (Ubuntu 7.3.0-16ubuntu3) 7.3.0

$ g++ -o x x.cc && ./x
abcdef

## Define _GLIBCXX_DEBUG
$ g++ -D_GLIBCXX_DEBUG -o x x.cc && ./x
/usr/include/c++/7/debug/array:155:
Error: attempt to subscript container with out-of-bounds index 4, but 
container only holds 4 elements.

Objects involved in the operation:
    sequence "this" @ 0x0x7fff151c6a10 {
      type = std::__debug::array<int, 4ul>;
    }
Aborted (core dumped)

その他に、cppcheck - tool for static C/C++ code analysis というツールがあります。

$ cppcheck x.cc
Checking x.cc ...
[x.cc:10]: (error) Array 'p[4]' accessed at index 4, which is out of bounds.
[x.cc:10]: (error) Array 'p[4]' accessed at index 5, which is out of bounds.