In source code suppression of binary analysis
First Claim
1. A method for analyzing binary generated by a compiler and selectively reporting regarding a potential problem with the analyzed binary depending on whether or not the analyzed binary contains an indication that the potential problem should be suppressed, the method comprising the following:
- an act of accessing first binary from a compiler that generated the first binary and second binary using corresponding source code;
an act of identifying a potential reportable problem in the first binary;
an act of determining that the second binary contains a compiler-transformed indication that the potential reportable problem is to be suppressed, wherein the transformed indication is generated by the compiler using an untransformed indication in the corresponding source code; and
an act of using the transformed indication to decide that the potential reportable problem should not be reported.
2 Assignments
0 Petitions
Accused Products
Abstract
Upon accessing binary that was generated by a compiler using corresponding source code, a potential reportable problem in the binary is identified. The binary includes a compiler transformed indication that the potential reportable problem is to be suppressed at least under some circumstances. The transformed indication is generated by the compiler using a corresponding untransformed indication in the corresponding source code. The transformed indication is then used to decide that the potential reportable problem should not be reported. Thus, artifacts within the source code itself may ultimately direct what problems are not to be reported on when the corresponding binary is analyzed after the compile phase.
-
Citations
20 Claims
-
1. A method for analyzing binary generated by a compiler and selectively reporting regarding a potential problem with the analyzed binary depending on whether or not the analyzed binary contains an indication that the potential problem should be suppressed, the method comprising the following:
-
an act of accessing first binary from a compiler that generated the first binary and second binary using corresponding source code;
an act of identifying a potential reportable problem in the first binary;
an act of determining that the second binary contains a compiler-transformed indication that the potential reportable problem is to be suppressed, wherein the transformed indication is generated by the compiler using an untransformed indication in the corresponding source code; and
an act of using the transformed indication to decide that the potential reportable problem should not be reported. - View Dependent Claims (2, 3, 4, 5, 6)
-
-
7. A method for analyzing binary generated by a compiler and selectively reporting regarding a potential problem with the analyzed binary depending on whether or not the analyzed binary contains an indication that the potential problem should be suppressed, the method comprising the following:
-
an act of accessing first binary from a compiler that generated the first binary and second binary using corresponding source code;
an act of identifying a potential reportable problem in the first binary;
an act of determining that the second binary contains a compiler-transformed indication that the potential reportable problem is to be suppressed at least under some circumstances, wherein the transformed indication is generated by the compiler using an untransformed indication in the corresponding source code; and
an act of using the transformed indication to decide that the potential reportable problem should not be reported in a differential manner than it would be reported if the second binary had not contained the transformed indication. - View Dependent Claims (8, 9, 10, 11, 12, 13, 14, 15, 16)
-
-
17. A computer program product comprising one or more computer-readable media having thereon computer-executable instructions that, when executed by one or more for perform a method for analyzing binary generated by a compiler and selectively reporting regarding a potential problem with the analyzed binary depending on whether or not the analyzed binary contains an indication that the potential problem should be suppressed, the computer-executable instructions comprising the following:
-
at least one computer-executable instruction for identifying a potential reportable problem in binary accessed from a compiler that generated the binary using corresponding source code;
at least one computer-executable instruction for determining whether or not the binary contains a compiler-transformed indication that the potential reportable problem is to be suppressed at least under some circumstances, wherein the transformed indication is generated by the compiler using an untransformed indication in the corresponding source code;
at least one computer-executable instruction representing a first execution path for reporting the potential reportable problem if it is determined that the binary does not contain the compiler-transformed indication; and
at least one computer-executable instruction representing a second execution path that is executed if it is determined that the binary does contain the compiler-transformed indication, wherein the second execution path either does not include any instructions for reporting the potential reportable problem or includes instructions for reporting the potential reportable problem in a different manner than would be the case in the first execution path. - View Dependent Claims (18, 19, 20)
-
Specification