設定例外處理的安全性
使用 Visual C++ 和 Visual Basic 時，任何 finally 陳述式之前都會先執行可提升堆疊的篩選條件運算式。finally 陳述式後面還會執行與該篩選條件關聯的 catch 區塊。如需詳細資訊，請參閱使用使用者篩選的例外狀況。本章節旨在檢閱這個順序的安全性含意。請先看看下列說明篩選條件陳述式和 finally 陳述式執行順序的虛擬程式碼範例。
void Main()
{
try
{
Sub();
}
except (Filter())
{
Console.WriteLine("catch");
}
}
bool Filter () {
Console.WriteLine("filter");
return true;
}
void Sub()
{
try
{
Console.WriteLine("throw");
throw new Exception();
}
finally
{
Console.WriteLine("finally");
}
}
這個程式碼會列印下列內容。
Throw
Filter
Finally
Catch
篩選條件會在 finally 陳述之前執行，因此使狀態變更的任何物件都可能會引發安全性問題，因為其他程式碼可能會利用這個變更來執行。例如：
try
{
Alter_Security_State();
// This means changing anything (state variables,
// switching unmanaged context, impersonation, and
// so on) that could be exploited if malicious
// code ran before state is restored.
Do_some_work();
}
finally
{
Restore_Security_State();
// This simply restores the state change above.
}
這個虛擬程式碼允許篩選條件將堆疊提高，以執行任意程式碼。類似效果的作業範例還包括其他識別的暫時模擬、設定略過某種安全性檢查的內部旗標，或是變更與執行緒關聯的文化特性 (Culture) 等。建議的解決方法是採用例外處理常式 (Exception Handler) 將程式碼中執行緒狀態的變更與呼叫端的篩選條件區塊隔離。然而，引入例外處理常式的方式必須正確，否則將無法修正這個問題。以下的範例將切換 UI 文化特性，但同樣地也可能引起執行緒狀態變更的問題。
YourObject.YourMethod()
{
CultureInfo saveCulture = Thread.CurrentThread.CurrentUICulture;
try {
Thread.CurrentThread.CurrentUICulture = new CultureInfo("de-DE");
// Do something that throws an exception.
}
finally {
Thread.CurrentThread.CurrentUICulture = saveCulture;
}
}
Public Class UserCode
Public Shared Sub Main()
Try
Dim obj As YourObject = new YourObject
obj.YourMethod()
Catch e As Exception When FilterFunc
Console.WriteLine("An error occurred: '{0}'", e)
Console.WriteLine("Current Culture: {0}",
Thread.CurrentThread.CurrentUICulture)
End Try
End Sub
Public Function FilterFunc As Boolean
Console.WriteLine("Current Culture: {0}", Thread.CurrentThread.CurrentUICulture)
Return True
End Sub
End Class
修正這種狀況的正確方法是將現有的 try/finally 區塊包裝在 try/catch 區塊中。如以下範例所示，只將 catch-throw 子句引入現有的 try/finally 區塊中並不能修正這個問題。
YourObject.YourMethod()
{
CultureInfo saveCulture = Thread.CurrentThread.CurrentUICulture;
try
{
Thread.CurrentThread.CurrentUICulture = new CultureInfo("de-DE");
// Do something that throws an exception.
}
catch { throw; }
finally
{
Thread.CurrentThread.CurrentUICulture = saveCulture;
}
}
這樣並不能修正問題，因為 finally 陳述式未在 FilterFunc 取得控制之前執行。
以下的範例則是透過確保 finally 子句已先執行，然後才在呼叫端的例外狀況篩選條件區塊上提供例外狀況，以修正問題。
YourObject.YourMethod()
{
CultureInfo saveCulture = Thread.CurrentThread.CurrentUICulture;
try
{
try
{
Thread.CurrentThread.CurrentUICulture = new CultureInfo("de-DE");
// Do something that throws an exception.
}
finally
{
Thread.CurrentThread.CurrentUICulture = saveCulture;
}
}
catch { throw; }
}