摘要 |
The invention relates to a method for checking for the presence of control statements in a data value, comprising providing at least one first data value ( 8 ) from a trustworthy source ( 3 ), receiving at least one second data value ( 9 ) from an untrustworthy source ( 4 ) and marking the second data value ( 9 ) as untrustworthy, performing a computation on the first and second data value ( 8, 9 ) resulting in a third data value ( 10 ) and marking all parts ( 11 ) of the third data value ( 10 ), which are derived from the second data value ( 9 ), as untrustworthy, and checking the parts ( 11 ) of the third data value ( 10 ) marked as untrustworthy for the presence of control statements. The invention further relates to a computer arrangement, a computer program, and a computer program product adapted to perform a method in accordance with the invention.
|