コード例 #1
0
    def test_test_for_reproducibility_greybox_succeed_after_multiple_tries(
            self):
        """Test test_for_reproducibility with with failure on first run and then
    succeed on remaining runs  (greybox)."""
        mock_engine = mock.Mock()
        mock_engine.reproduce.side_effect = [
            engine.ReproduceResult(['cmd'], 0, 0, 'output'),
            engine.ReproduceResult(['cmd'], 1, 1, 'crash'),
            engine.ReproduceResult(['cmd'], 1, 1, 'crash'),
        ]
        self.mock.get.return_value = mock_engine

        result = testcase_manager.test_for_reproducibility(
            'engine',
            'engine_target',
            '/fuzz-testcase',
            'state',
            expected_security_flag=False,
            test_timeout=10,
            http_flag=False,
            gestures=None)
        self.assertTrue(result)

        self.assertEqual(3, mock_engine.reproduce.call_count)
        self.mock.log.assert_has_calls([
            mock.call('No crash occurred (round 1).',
                      output=self.GREYBOX_FUZZER_NO_CRASH),
            mock.call('Crash occurred in 1 seconds (round 2). State:\nstate',
                      output=self.GREYBOX_FUZZER_CRASH),
            mock.call('Crash occurred in 1 seconds (round 3). State:\nstate',
                      output=self.GREYBOX_FUZZER_CRASH),
            mock.call('Crash is reproducible.'),
        ])
コード例 #2
0
    def test_test_for_reproducibility_blackbox_succeed_after_multiple_tries(
            self):
        """Test test_for_reproducibility with failure on first run and then succeed
    on remaining runs (blackbox)."""
        self.mock.run_process.side_effect = [
            (0, 0, 'output'),
            (1, 1, 'crash'),
            (1, 1, 'crash'),
        ]
        result = testcase_manager.test_for_reproducibility(
            'fuzzer',
            'fuzzer',
            '/fuzz-testcase',
            'state',
            expected_security_flag=False,
            test_timeout=10,
            http_flag=False,
            gestures=None)
        self.assertTrue(result)

        self.assertEqual(3, self.mock.run_process.call_count)
        self.mock.log.assert_has_calls([
            mock.call('No crash occurred (round 1).', output='output'),
            mock.call('Crash occurred in 1 seconds (round 2). State:\nstate',
                      output='crash'),
            mock.call('Crash occurred in 1 seconds (round 3). State:\nstate',
                      output='crash'),
            mock.call('Crash is reproducible.'),
        ])
コード例 #3
0
    def test_test_for_reproducibility_greybox_succeed(self):
        """Test test_for_reproducibility with success on all runs (greybox)."""
        mock_engine = mock.Mock()
        mock_engine.reproduce.return_value = engine.ReproduceResult(['cmd'], 1,
                                                                    1, 'crash')
        self.mock.get.return_value = mock_engine

        result = testcase_manager.test_for_reproducibility(
            'engine',
            'engine_target',
            '/fuzz-testcase',
            'state',
            expected_security_flag=False,
            test_timeout=10,
            http_flag=False,
            gestures=None)
        self.assertTrue(result)

        # Only 2/3 runs needed to verify reproducibility.
        self.assertEqual(2, mock_engine.reproduce.call_count)
        self.mock.log.assert_has_calls([
            mock.call('Crash occurred in 1 seconds (round 1). State:\nstate',
                      output=self.GREYBOX_FUZZER_CRASH),
            mock.call('Crash occurred in 1 seconds (round 2). State:\nstate',
                      output=self.GREYBOX_FUZZER_CRASH),
            mock.call('Crash is reproducible.'),
        ])
コード例 #4
0
  def test_test_for_reproducibility_blackbox_succeed(self):
    """Test test_for_reproducibility with success on all runs (blackbox)."""
    self.mock.run_process.return_value = (1, 1, 'crash')
    result = testcase_manager.test_for_reproducibility(
        'fuzzer',
        'fuzzer',
        '/fuzz-testcase',
        'state',
        expected_security_flag=False,
        test_timeout=10,
        http_flag=False,
        gestures=None)
    self.assertTrue(result)

    # Only 2/3 runs needed to verify reproducibility.
    self.assertEqual(2, self.mock.run_process.call_count)
    self.mock.log.assert_has_calls([
        mock.call(
            'Crash occurred in 1 seconds (round 1). State:\nstate',
            output='crash'),
        mock.call(
            'Crash occurred in 1 seconds (round 2). State:\nstate',
            output='crash'),
        mock.call('Crash is reproducible.'),
    ])
コード例 #5
0
  def test_test_for_reproducibility_blackbox(self):
    """Test test_for_reproducibility (blackbox)."""
    self.mock.run_process.return_value = (1, 1, 'crash')
    result = testcase_manager.test_for_reproducibility(
        'fuzzer',
        '/fuzz-testcase',
        'state',
        expected_security_flag=False,
        test_timeout=10,
        http_flag=False,
        gestures=None)
    self.assertTrue(result)

    # Only 2/3 runs needed to verify reproducibility.
    self.assertEqual(2, self.mock.run_process.call_count)
コード例 #6
0
  def test_test_for_reproducibility_greybox(self):
    """Test test_for_reproducibility (greybox)."""
    mock_engine = mock.Mock()
    mock_engine.reproduce.return_value = engine.ReproduceResult(['cmd'], 1, 1,
                                                                'crash')
    self.mock.get.return_value = mock_engine

    result = testcase_manager.test_for_reproducibility(
        'engine_target',
        '/fuzz-testcase',
        'state',
        expected_security_flag=False,
        test_timeout=10,
        http_flag=False,
        gestures=None)
    self.assertTrue(result)

    # Only 2/3 runs needed to verify reproducibility.
    self.assertEqual(2, mock_engine.reproduce.call_count)
コード例 #7
0
def execute_task(testcase_id, job_type):
    """Run a test case with a different job type to see if they reproduce."""
    testcase = data_handler.get_testcase_by_id(testcase_id)
    if not testcase:
        return

    if environment.is_engine_fuzzer_job(
            testcase.job_type) != environment.is_engine_fuzzer_job(job_type):
        # We should never reach here. But in case we do, we should bail out as
        # otherwise we will run into exceptions.
        return

    # Use a cloned testcase entity with different fuzz target paramaters for
    # a different fuzzing engine.
    original_job_type = testcase.job_type
    testcase = _get_variant_testcase_for_job(testcase, job_type)

    # Setup testcase and its dependencies.
    file_list, _, testcase_file_path = setup.setup_testcase(testcase, job_type)
    if not file_list:
        return

    # Set up a custom or regular build. We explicitly omit the crash revision
    # since we want to test against the latest build here.
    build_manager.setup_build()

    # Check if we have an application path. If not, our build failed to setup
    # correctly.
    if not build_manager.check_app_path():
        testcase = data_handler.get_testcase_by_id(testcase_id)
        data_handler.update_testcase_comment(
            testcase,
            data_types.TaskState.ERROR,
            "Build setup failed with job: " + job_type,
        )
        return

    # Disable gestures if we're running on a different platform from that of
    # the original test case.
    use_gestures = testcase.platform == environment.platform().lower()

    # Reproduce the crash.
    app_path = environment.get_value("APP_PATH")
    command = testcase_manager.get_command_line_for_application(
        testcase_file_path, app_path=app_path, needs_http=testcase.http_flag)
    test_timeout = environment.get_value("TEST_TIMEOUT", 10)
    revision = environment.get_value("APP_REVISION")
    result = testcase_manager.test_for_crash_with_retries(
        testcase,
        testcase_file_path,
        test_timeout,
        http_flag=testcase.http_flag,
        use_gestures=use_gestures,
        compare_crash=False,
    )

    if result.is_crash() and not result.should_ignore():
        crash_state = result.get_state()
        crash_type = result.get_type()
        security_flag = result.is_security_issue()

        gestures = testcase.gestures if use_gestures else None
        one_time_crasher_flag = not testcase_manager.test_for_reproducibility(
            testcase.fuzzer_name,
            testcase.actual_fuzzer_name(),
            testcase_file_path,
            crash_state,
            security_flag,
            test_timeout,
            testcase.http_flag,
            gestures,
        )
        if one_time_crasher_flag:
            status = data_types.TestcaseVariantStatus.FLAKY
        else:
            status = data_types.TestcaseVariantStatus.REPRODUCIBLE

        crash_comparer = CrashComparer(crash_state, testcase.crash_state)
        is_similar = (crash_comparer.is_similar()
                      and security_flag == testcase.security_flag)

        unsymbolized_crash_stacktrace = result.get_stacktrace(symbolized=False)
        symbolized_crash_stacktrace = result.get_stacktrace(symbolized=True)
        crash_stacktrace_output = utils.get_crash_stacktrace_output(
            command, symbolized_crash_stacktrace,
            unsymbolized_crash_stacktrace)
    else:
        status = data_types.TestcaseVariantStatus.UNREPRODUCIBLE
        is_similar = False
        crash_type = None
        crash_state = None
        security_flag = False
        crash_stacktrace_output = "No crash occurred."

    if original_job_type == job_type:
        # This case happens when someone clicks 'Update last tested stacktrace using
        # trunk build' button.
        testcase = data_handler.get_testcase_by_id(testcase_id)
        testcase.last_tested_crash_stacktrace = data_handler.filter_stacktrace(
            crash_stacktrace_output)
        testcase.set_metadata("last_tested_crash_revision",
                              revision,
                              update_testcase=True)
    else:
        # Regular case of variant analysis.
        variant = data_handler.get_testcase_variant(testcase_id, job_type)
        variant.status = status
        variant.revision = revision
        variant.crash_type = crash_type
        variant.crash_state = crash_state
        variant.security_flag = security_flag
        variant.is_similar = is_similar
        # Explicitly skipping crash stacktrace for now as it make entities larger
        # and we plan to use only crash paramaters in UI.
        variant.put()
コード例 #8
0
def execute_task(testcase_id, job_type):
    """Run analyze task."""
    # Reset redzones.
    environment.reset_current_memory_tool_options(redzone_size=128)

    # Unset window location size and position properties so as to use default.
    environment.set_value('WINDOW_ARG', '')

    # Locate the testcase associated with the id.
    testcase = data_handler.get_testcase_by_id(testcase_id)
    if not testcase:
        return

    data_handler.update_testcase_comment(testcase,
                                         data_types.TaskState.STARTED)

    metadata = data_types.TestcaseUploadMetadata.query(
        data_types.TestcaseUploadMetadata.testcase_id == int(
            testcase_id)).get()
    if not metadata:
        logs.log_error('Testcase %s has no associated upload metadata.' %
                       testcase_id)
        testcase.key.delete()
        return

    is_lsan_enabled = environment.get_value('LSAN')
    if is_lsan_enabled:
        # Creates empty local blacklist so all leaks will be visible to uploader.
        leak_blacklist.create_empty_local_blacklist()

    # Store the bot name and timestamp in upload metadata.
    bot_name = environment.get_value('BOT_NAME')
    metadata.bot_name = bot_name
    metadata.timestamp = datetime.datetime.utcnow()
    metadata.put()

    # Adjust the test timeout, if user has provided one.
    if metadata.timeout:
        environment.set_value('TEST_TIMEOUT', metadata.timeout)

    # Adjust the number of retries, if user has provided one.
    if metadata.retries is not None:
        environment.set_value('CRASH_RETRIES', metadata.retries)

    # Setup testcase and get absolute testcase path.
    file_list, _, testcase_file_path = setup.setup_testcase(testcase, job_type)
    if not file_list:
        return

    # Set up a custom or regular build based on revision.
    build_manager.setup_build(testcase.crash_revision)

    # Check if we have an application path. If not, our build failed
    # to setup correctly.
    if not build_manager.check_app_path():
        data_handler.update_testcase_comment(testcase,
                                             data_types.TaskState.ERROR,
                                             'Build setup failed')

        if data_handler.is_first_retry_for_task(testcase):
            build_fail_wait = environment.get_value('FAIL_WAIT')
            tasks.add_task('analyze',
                           testcase_id,
                           job_type,
                           wait_time=build_fail_wait)
        else:
            close_invalid_testcase_and_update_status(testcase, metadata,
                                                     'Build setup failed')
        return

    # Update initial testcase information.
    testcase.absolute_path = testcase_file_path
    testcase.job_type = job_type
    testcase.binary_flag = utils.is_binary_file(testcase_file_path)
    testcase.queue = tasks.default_queue()
    testcase.crash_state = ''

    # Set initial testcase metadata fields (e.g. build url, etc).
    data_handler.set_initial_testcase_metadata(testcase)

    # Update minimized arguments and use ones provided during user upload.
    if not testcase.minimized_arguments:
        minimized_arguments = environment.get_value('APP_ARGS') or ''
        additional_command_line_flags = testcase.get_metadata(
            'uploaded_additional_args')
        if additional_command_line_flags:
            minimized_arguments += ' %s' % additional_command_line_flags
        environment.set_value('APP_ARGS', minimized_arguments)
        testcase.minimized_arguments = minimized_arguments

    # Update other fields not set at upload time.
    testcase.crash_revision = environment.get_value('APP_REVISION')
    data_handler.set_initial_testcase_metadata(testcase)
    testcase.put()

    # Initialize some variables.
    gestures = testcase.gestures
    http_flag = testcase.http_flag
    test_timeout = environment.get_value('TEST_TIMEOUT')

    # Get the crash output.
    result = testcase_manager.test_for_crash_with_retries(testcase,
                                                          testcase_file_path,
                                                          test_timeout,
                                                          http_flag=http_flag,
                                                          compare_crash=False)

    # If we don't get a crash, try enabling http to see if we can get a crash.
    # Skip engine fuzzer jobs (e.g. libFuzzer, AFL) for which http testcase paths
    # are not applicable.
    if (not result.is_crash() and not http_flag
            and not environment.is_engine_fuzzer_job()):
        result_with_http = testcase_manager.test_for_crash_with_retries(
            testcase,
            testcase_file_path,
            test_timeout,
            http_flag=True,
            compare_crash=False)
        if result_with_http.is_crash():
            logs.log('Testcase needs http flag for crash.')
            http_flag = True
            result = result_with_http

    # Refresh our object.
    testcase = data_handler.get_testcase_by_id(testcase_id)
    if not testcase:
        return

    # Set application command line with the correct http flag.
    application_command_line = (
        testcase_manager.get_command_line_for_application(
            testcase_file_path, needs_http=http_flag))

    # Get the crash data.
    crashed = result.is_crash()
    crash_time = result.get_crash_time()
    state = result.get_symbolized_data()
    unsymbolized_crash_stacktrace = result.get_stacktrace(symbolized=False)

    # Get crash info object with minidump info. Also, re-generate unsymbolized
    # stacktrace if needed.
    crash_info, _ = (crash_uploader.get_crash_info_and_stacktrace(
        application_command_line, state.crash_stacktrace, gestures))
    if crash_info:
        testcase.minidump_keys = crash_info.store_minidump()

    if not crashed:
        # Could not reproduce the crash.
        log_message = ('Testcase didn\'t crash in %d seconds (with retries)' %
                       test_timeout)
        data_handler.update_testcase_comment(testcase,
                                             data_types.TaskState.FINISHED,
                                             log_message)

        # In the general case, we will not attempt to symbolize if we do not detect
        # a crash. For user uploads, we should symbolize anyway to provide more
        # information about what might be happening.
        crash_stacktrace_output = utils.get_crash_stacktrace_output(
            application_command_line, state.crash_stacktrace,
            unsymbolized_crash_stacktrace)
        testcase.crash_stacktrace = data_handler.filter_stacktrace(
            crash_stacktrace_output)

        # For an unreproducible testcase, retry once on another bot to confirm
        # our results and in case this bot is in a bad state which we didn't catch
        # through our usual means.
        if data_handler.is_first_retry_for_task(testcase):
            testcase.status = 'Unreproducible, retrying'
            testcase.put()

            tasks.add_task('analyze', testcase_id, job_type)
            return

        close_invalid_testcase_and_update_status(testcase, metadata,
                                                 'Unreproducible')

        # A non-reproducing testcase might still impact production branches.
        # Add the impact task to get that information.
        task_creation.create_impact_task_if_needed(testcase)
        return

    # Update http flag and re-run testcase to store dependencies (for bundled
    # archives only).
    testcase.http_flag = http_flag
    if not store_testcase_dependencies_from_bundled_testcase_archive(
            metadata, testcase, testcase_file_path):
        return

    # Update testcase crash parameters.
    testcase.crash_type = state.crash_type
    testcase.crash_address = state.crash_address
    testcase.crash_state = state.crash_state
    crash_stacktrace_output = utils.get_crash_stacktrace_output(
        application_command_line, state.crash_stacktrace,
        unsymbolized_crash_stacktrace)
    testcase.crash_stacktrace = data_handler.filter_stacktrace(
        crash_stacktrace_output)

    # Try to guess if the bug is security or not.
    security_flag = crash_analyzer.is_security_issue(state.crash_stacktrace,
                                                     state.crash_type,
                                                     state.crash_address)
    testcase.security_flag = security_flag

    # If it is, guess the severity.
    if security_flag:
        testcase.security_severity = severity_analyzer.get_security_severity(
            state.crash_type, state.crash_stacktrace, job_type, bool(gestures))

    log_message = ('Testcase crashed in %d seconds (r%d)' %
                   (crash_time, testcase.crash_revision))
    data_handler.update_testcase_comment(testcase,
                                         data_types.TaskState.FINISHED,
                                         log_message)

    # See if we have to ignore this crash.
    if crash_analyzer.ignore_stacktrace(state.crash_stacktrace):
        close_invalid_testcase_and_update_status(testcase, metadata,
                                                 'Irrelavant')
        return

    # Test for reproducibility.
    one_time_crasher_flag = not testcase_manager.test_for_reproducibility(
        testcase.fuzzer_name, testcase.actual_fuzzer_name(),
        testcase_file_path, state.crash_state, security_flag, test_timeout,
        http_flag, gestures)
    testcase.one_time_crasher_flag = one_time_crasher_flag

    # Check to see if this is a duplicate.
    project_name = data_handler.get_project_name(job_type)
    existing_testcase = data_handler.find_testcase(project_name,
                                                   state.crash_type,
                                                   state.crash_state,
                                                   security_flag)
    if existing_testcase:
        # If the existing test case is unreproducible and we are, replace the
        # existing test case with this one.
        if existing_testcase.one_time_crasher_flag and not one_time_crasher_flag:
            duplicate_testcase = existing_testcase
            original_testcase = testcase
        else:
            duplicate_testcase = testcase
            original_testcase = existing_testcase
            metadata.status = 'Duplicate'
            metadata.duplicate_of = existing_testcase.key.id()

        duplicate_testcase.status = 'Duplicate'
        duplicate_testcase.duplicate_of = original_testcase.key.id()
        duplicate_testcase.put()

    # Set testcase and metadata status if not set already.
    if testcase.status != 'Duplicate':
        testcase.status = 'Processed'
        metadata.status = 'Confirmed'

        # Add new leaks to global blacklist to avoid detecting duplicates.
        # Only add if testcase has a direct leak crash and if it's reproducible.
        if is_lsan_enabled:
            leak_blacklist.add_crash_to_global_blacklist_if_needed(testcase)

    # Update the testcase values.
    testcase.put()

    # Update the upload metadata.
    metadata.security_flag = security_flag
    metadata.put()

    # Create tasks to
    # 1. Minimize testcase (minimize).
    # 2. Find regression range (regression).
    # 3. Find testcase impact on production branches (impact).
    # 4. Check whether testcase is fixed (progression).
    # 5. Get second stacktrace from another job in case of
    #    one-time crashers (stack).
    task_creation.create_tasks(testcase)