[发明专利]一种判定语句取值的确认方法、装置及存储介质

权利要求书

1.一种判定语句取值的确认方法，其特征在于，所述方法包括：

确认源代码包括的至少一个基本块和所述至少一个基本块对应的基本块信息；

基于被执行的基本块对应的基本块信息和所述被执行的基本块被执行的次数，确认所述源代码中被执行的判定语句的取值。

2.根据权利要求1所述的方法，其特征在于，所述基于被执行的基本块对应的基本块信息和所述被执行的基本块被执行的次数，确认所述源代码包括的全部判定语句的取值，包括：

基于所述被执行的基本块的类型，设置至少一个插桩点；

基于所述至少一个插桩点，确认所述被执行的基本块对应的基本块信息和所述被执行的基本块被执行的次数；

基于被执行的基本块对应的基本块信息和所述被执行的基本块被执行的次数，确认所述源代码中被执行的判定语句的取值。

3.根据权利要求2所述的方法，其特征在于，所述基于所述被执行的基本块的类型，设置至少一个插桩点，包括：

在所述基本块的类型为顺序语句块的情况下，在所述基本块包括的语句之前设置至少一个插桩点；

或者，在所述基本块的类型为判定语句块，且所述源代码中不存在所述判定语句块取真值时直接对应执行的顺序语句块的情况下，在所述基本块包括的语句之前，或者在所述基本块包括的语句之后设置至少一个插桩点；

或者，在所述基本块的类型为判定语句块，且所述源代码中不存在所述判定语块取假值时对应执行的顺序语句块的情况下，在所述基本块包括的语句之前，或者在所述基本块包括的语句之后设置至少一个插桩点。

4.根据权利要求1所述的方法，其特征在于，所述基于被执行的基本块对应的基本块信息和所述被执行的基本块被执行的次数，确认所述源代码中被执行的判定语句的取值，包括：

在所述被执行的基本块包括判定语句块和顺序语句块，且所述源代码中所述判定语句块取值为真时对应执行的基本块中存在顺序语句块的情况下，若所述判定语句块取值为真时对应执行的顺序语句块被执行，确定所述判定语句块所包含的判定语句在执行的过程中存在第一场景；

或者，在所述被执行的基本块包括判定语句块和顺序语句块，且所述源代码中所述判定语句块取值为假时对应执行的基本块中存在顺序语句块的情况下，若所述判定语句块取值为假时对应执行的顺序语句块被执行，确定所述判定语句块所包含的判定语句在执行的过程中存在第二场景；

或者，在所述被执行的基本块包含判定语句块和顺序语句块，且所述源代码中所述判定语句块取值为假时不存在对应执行的基本块的情况下，若所述判定语句块被执行的次数大于所述判定语句块取值为真时对应执行的基本块被执行的次数，确定所述判定语句块包含的判定语句在执行的过程中存在第二场景；

其中，所述第一场景表征所述判定语句取值为真值；所述第二场景表征所述判定语句取值为假值。

5.根据权利要求1所述的方法，其特征在于，所述确认源代码包括的至少一个基本块和所述至少一个基本块对应的基本块信息包括：

对所述源代码进行静态分析，得到静态分析结果；

基于所述静态分析结果，将所述源代码划分为至少一个基本块；

确认所述至少一个基本块的基本块信息；

所述基本块信息包括以下至少一种：所述基本块的身份标识号ID、所述基本块的类型和所述基本块的位置信息；

所述基本块的类型包括以下至少一种：顺序语句块和逻辑语句块；

所述逻辑语句块中包含判定语句的基本块为判定语句块。

6.一种判定语句取值的确认装置，其特征在于，所述装置包括：

确认单元，用于确认源代码包括的至少一个基本块和所述至少一个基本块对应的基本块信息；基于被执行的基本块对应的基本块信息和所述被执行的基本块被执行的次数，确认所述源代码中被执行的判定语句的取值。