DO NOT SUBMIT bluetooth-fuzzer: Draft fuzzer

third_party/WebKit/Source/modules/bluetooth/testing/clusterfuzz/test_case_fuzzer.py

 # Copyright 2016 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 """Module to generate a test file with random calls to the Web Bluetooth API."""
 
 import random
 from fuzzer_helpers import FillInParameter
 
 # Contains the different types of base tokens used when generating a test case.
 BASE_TOKENS = [
     'TRANSFORM_BASIC_BASE',
     'TRANSFORM_DEVICE_DISCOVERY_BASE',
     'TRANSFORM_CONNECTABLE_BASE',
-    'TRANSFORM_SERVICE_RETRIEVED_BASE',
+    'TRANSFORM_SERVICES_RETRIEVED_BASE',
+    'TRANSFORM_CHARACTERISTICS_RETRIEVED_BASE',
 ]
 
 # Contains strings that represent calls to the Web Bluetooth API. These
 # strings can be sequentially placed together to generate sequences of
 # calls to the API. These strings are separated by line and placed so
 # that indentation can be performed more easily.
 TOKENS = [
-    [
-        '})',
-        '.catch(e => console.log(e.name + \': \' + e.message))',
-        '.then(() => {',
-    ],
     # Request Device Tokens
     [
         '  requestDeviceWithKeyDown(TRANSFORM_REQUEST_DEVICE_OPTIONS);'
     ],
     [
         '  return requestDeviceWithKeyDown(TRANSFORM_REQUEST_DEVICE_OPTIONS);',
         '})',
+        'TRANSFORM_CATCH',
         '.then(device => {',
+        '  var gatt = device ? device.gatt : undefined;',
     ],
     # Connect Tokens
     [
-        '  device.gatt.connect();',
-    ],
-    [
-        '  return device.gatt.connect();',
-        '})'
-        '.then(gatt => {',
-    ],
-    [
-        '  gatt.connect();',
+        '  if (typeof gatt !== \'undefined\') gatt.connect();',
     ],
     [
         '  return gatt.connect();',
-        '})'
+        '})',
+        'TRANSFORM_CATCH',
         '.then(gatt => {',
+        '  var device = gatt ? gatt.device : undefined;',
     ],
-    # GetPrimaryService(s) Tokens
+    # Disconnect
     [
-        '  device.gatt.getPrimaryServices();',
+        '  if (typeof gatt !==\'undefined\') gatt.disconnect();',
+    ],
+    # GetPrimaryServices Tokens
+    [
+        '  if (typeof gatt !== \'undefined\') gatt.TRANSFORM_GET_PRIMARY_SERVICES;',
     ],
     [
-        '  gatt.getPrimaryServices();',
+        '  return gatt.TRANSFORM_GET_PRIMARY_SERVICES;',
+        '})',
+        'TRANSFORM_CATCH',
+        '.then(services => {',
+        '  var device = services ? Array.isArray(services) ? services[0].device : services.device : undefined;',
+        '  var gatt = device ? device.gatt : undefined;',
+    ],
+    # GetCharacteristics Tokens
+    [
+        '  TRANSFORM_PICK_A_SERVICE;',
+        '  if (typeof service !== \'undefined\') service.TRANSFORM_GET_CHARACTERISTICS;',
     ],
     [
-        '  return device.gatt.getPrimaryServices();',
-        '})'
-        '.then(services => {',
+        '  TRANSFORM_PICK_A_SERVICE;',
+        '  return service.TRANSFORM_GET_CHARACTERISTICS;',
+        '})',
+        'TRANSFORM_CATCH',
+        '.then(characteristics => {',
+        '  var service = characteristics ? Array.isArray(services) ? characteristics[0].service : characteristics.service : undefined;'
+        '  var device = service ? service.device : undefined;',
+        '  var gatt = device ? device.gatt : undefined;',
+    ],
+    # ReadValue Tokens
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  if (typeof characteristic != \'undefined\') characteristic.readValue();',
     ],
     [
-        '  return gatt.getPrimaryServices();',
-        '})'
-        '.then(services => {',
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  return characteristic.readValue().then(_ => characteristics);',
+        '})',
+        'TRANSFORM_CATCH',
+        '.then((characteristics) => {',
+    ],
+    # WriteValue Tokens
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  if (typeof characteristic != \'undefined\') characteristic.writeValue(TRANSFORM_WRITE_VALUE);'
+    ],
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  return characteristic.writeValue(TRANSFORM_WRITE_VALUE).then(() => characteristics);',
+        '})',
+        'TRANSFORM_CATCH',
+        '.then(characteristics => {',
+    ],
+    # Notifications Tokens
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  if (typeof characteristic != \'undefined\') characteristic.startNotifications();',
+    ],
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  return characteristic.startNotitications().then(() => characteristics);',
+        '})',
+        'TRANSFORM_CATCH',
+        '.then(characteristics => {',
+    ],
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  if (typeof characteristic != \'undefined\') characteristic.stopNotifications();',
+    ],
+    [
+        '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+        '  return characteristic.stopNotitications().then(() => characteristics);',
+        '})',
+        'TRANSFORM_CATCH',
+        '.then(characteristics => {',
+    ],
+    # Event listener tokens
+    # [
+    #     '  if (typeof device != \'undefined\')',
+    #     '    device.TRANSFORM_LISTENER_CALL;',
+    # ],
+    # [
+    #     '  if (typeof gatt != \'undefined\')',
+    #     '    gatt.TRANSFORM_LISTENER_CALL;',
+    # ],
+    # [
+    #     '  TRANSFORM_PICK_A_SERVICE;',
+    #     '  if (typeof service != \'undefined\')',
+    #     '    service.TRANSFORM_LISTENER_CALL;',
+    # ],
+    # [
+    #     '  TRANSFORM_PICK_A_CHARACTERISTIC;',
+    #     '  if (typeof characteristic != \'undefined\')',
+    #     '    characteristic.TRANSFORM_LISTENER_CALL;',
+    # ],
+    # Garbage Collection
+    [
+        '  runGarbageCollection();',
+    ],
+    [
+        '  return runGarbageCollection();',
+        '})',
+        '.then(() => {',
+    ],
+    # Reload
+    [
+        '  (() => {',
+        '    let reload_id = TRANSFORM_RELOAD_ID;',
+        '    if (!sessionStorage.getItem(reload_id)) {',
+        '      sessionStorage.setItem(reload_id, true);',
+        '      location.reload();',
+        '    }',
+        '  })();',
     ],
 ]
 
 INDENT = '    '
 BREAK = '\n'
 END_TOKEN = '});'
 
 # Maximum number of tokens that will be inserted in the generated
 # test case.
 MAX_NUM_OF_TOKENS = 100
@@ skipping 33 matching lines @@
     Returns:
       A string consisting of template_file_data with the string
         'TRANSFORM_RANDOM_TOKENS' replaced with a sequence of calls to the Web
         Bluetooth API and calls to reload the page and perform garbage
         collection.
     """
 
     return FillInParameter('TRANSFORM_RANDOM_TOKENS',
                            _GenerateSequenceOfRandomTokens,
                            template_file_data)