deterministic_input_generation.py 文件源码

def test_seq_arithmetic_input_generation(self):
        for i in range(1, self.MAX_ITERATIONS+1):
            self.TEST_INPUT = ''.join(random.choice(string.printable + '\x00') for i in range(i))
            self.TEST_MUTATIONS = []
            self.TEST_MUTATION_CHECK = []
            self.generate_test_mutations_seq_arithmetic(i%127)

            self.func_check(self.TEST_INPUT)
            mutate_seq_walking_bits_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None)
            mutate_seq_two_walking_bits_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None)
            mutate_seq_four_walking_bits_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None)
            mutate_seq_walking_byte_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None)
            mutate_seq_two_walking_bytes_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None)
            mutate_seq_four_walking_bytes_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None)

            mutate_seq_8_bit_arithmetic_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None, set_arith_max=(i+1)%127)
            mutate_seq_16_bit_arithmetic_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None, set_arith_max=(i+1)%127)
            mutate_seq_32_bit_arithmetic_array(array('B', self.TEST_INPUT), self.func_check, effector_map=None, skip_null=None, set_arith_max=(i+1)%127)

            for i in range(len(self.TEST_MUTATION_CHECK)):
                if(not self.TEST_MUTATION_CHECK[i]):
                    print(str(array('B', self.TEST_INPUT)) + " - " + str(array('B', self.TEST_MUTATIONS[i])))
                self.assertTrue(self.TEST_MUTATION_CHECK[i])