cl C++ ошибка времени выполнения при чтении недоступной памяти

Question

У меня есть код C++, но я не знаю что. Для целей примера скажу, что:

//main.cpp 
#include<iostream> 
using namespace std; 
int T[100]; 

int main() 
{ 
    for(int i = 0; i < 100; ++i) 
     T[i] = i; 
    int x; 
    cin>>x; 
    cout<<T[x]<<endl; 

    return 0; 
} 

Я компиляция его cl /O2 /nologo /EHsc main.cpp и работаю на main < inFile.in. Предположим, что контент inFile.in - это один номер 500 и новая строка. Вывод - это случайное число, потому что программа считывает память по адресу T+500 и печатает ее. Я хочу получить ошибку выполнения в таких случаях (любая возможность проверки - это нечто подобное). Возможно ли это без доступа к main.cpp? Чтобы быть конкретным, я выполняю все это программно по классу Process в C# в приложении ASP.Net MVC. Я хочу проверить, действительно ли программа забрасывала исключение/чтение, а не зарезервированную память и т. Д.

Answer 1

Является ли это функцией, которую вы хотите использовать только для целей разработки или в вашей производственной среде?

В целях развития вы можете попытаться запустить приложение под некоторым инструментом для проверки выполнения (например, Valgrind/Dr Memory) или изменить способ его компиляции, чтобы включить проверки отладки времени выполнения (не гарантируется работа в описанный случай, но помогает во многих других). Имейте в виду, что это сделает ваше приложение намного более медленным (таким образом, оно должно использоваться только для разрабатываемых приложений)

Когда речь заходит о производственной среде, я не знаю, как бы вы делали то, что хотите - в В общем случае вы можете рассчитывать только на ошибку сегментации ОС в случае чтения из доступной памяти (если вам повезло - если вы этого не сделаете "работаете").

Для исключения, я не уверен на 100%, я понимаю, что вы имеете в виду - это «почему программа закончилась»? В таком случае вы можете получить базовый дамп разбитого приложения (в случае нормального завершения я предполагаю, что у вас есть коды возврата), и вы можете проверить его позже, чтобы либо получить причину сбоя, либо, возможно, попытаться восстановить некоторые данные. Инструкции по сборке дампов в Windows вы можете проверить: http://msdn.microsoft.com/en-us/library/windows/desktop/bb787181%28v=vs.85%29.aspx

Однако эта функция является более полезной в среде разработки, чем в производстве.

Answer 2

Если вы не можете изменить вышеуказанный источник программы, запустите его в среде «снаружи» (shell) и получите возвращаемое значение и протестируйте его против 0 - любое другое значение приведет к неправильному поведению.

Также полезно проверить входные данные таких программ, которые, как вы знаете, не могут справиться с этим, а не ждать, пока он не сработает, вы можете предотвратить его.

Если Вы можете изменить программу, то простое решение было бы использовать станд :: вектор или станд :: Deque, которые похожи, но важно использовать в() метод и не оператор [] оператора как в() проверки метода ограничивающая

#include<iostream> 
#include<vector> 
using namespace std; 

std::vector<int> T(100); 

int main() 
{ 
    for(int i = 0; i < 100; ++i) 
     T[i] = i; 
    int x; 
    cin>>x; 
    cout<<T.at(x)<<endl; 

    return 0; 
} 

если в() будет вызвана с плохим вне связанным параметром, то исключение будет броском, который Вы можете поймать так:

try{ 
    cin>>x; 
    cout<<T.at(x)<<endl; 
} 
catch(...) 
{ 
    cout << "exception while accessing vector's data" << endl; 
}