Merge pull request #7 from mathiasbynens/time-date

Add <time> and <data> elements

generator.py

@@ -60,6 +60,7 @@
   'colgroup': 'HTMLUnknownElement',
   'command': 'HTMLUnknownElement',
   'content': 'HTMLContentElement',
+  'data': 'HTMLDataElement',
   'datalist': 'HTMLDataListElement',
   'dd': 'HTMLUnknownElement',
   'del': 'HTMLModElement',
@@ -155,6 +156,7 @@
   'tfoot': 'HTMLTableSectionElement',
   'th': 'HTMLTableCellElement',
   'thead': 'HTMLTableSectionElement',
+  'time': 'HTMLTimeElement',
   'title': 'HTMLTitleElement',
   'tr': 'HTMLTableRowElement',
   'track': 'HTMLTrackElement',
@@ -330,7 +332,7 @@ def GenerateNewSample(template, htmlgrammar, cssgrammar, jsgrammar):
 
   htmlctx = {'htmlvars':[], 'htmlvarctr':0, 'svgvarctr':0, 'htmlvargen':''}
   html = re.sub(r'<[a-zA-Z0-9_-]+\ ', lambda match: AddHTMLIDs(match, htmlctx), html)
-  GenerateHTMLElements(htmlctx, _N_ADDITIONAL_HTMLVARS); 
+  GenerateHTMLElements(htmlctx, _N_ADDITIONAL_HTMLVARS);
 
   result = result.replace('<cssfuzzer>', css)
   result = result.replace('<htmlfuzzer>', html)
@@ -408,12 +410,12 @@ def main():
   fuzzer_dir = os.path.dirname(__file__)
 
   multiple_samples = False
-  
+
   for a in sys.argv:
     if a.startswith('--output_dir='):
       multiple_samples = True
   if '--output_dir' in sys.argv:
-    multiple_samples = True    
+    multiple_samples = True
 
   if multiple_samples:
     print('Running on ClusterFuzz')
@@ -427,7 +429,7 @@ def main():
       outfiles.append(os.path.join(out_dir, 'fuzz-' + str(i) + '.html'))
 
     GenerateSamples(fuzzer_dir, outfiles)
-      
+
   elif len(sys.argv) > 1:
     outfile = sys.argv[1]
     GenerateSamples(fuzzer_dir, [outfile])

js.txt

@@ -1523,6 +1523,18 @@
 <new long> = <HTMLCollection>.length;
 <new Element> = <HTMLCollection id=1>.item(<int min=0 max=100>%<HTMLCollection id=1>.length);
 
+#HTMLDataElement
+!extends HTMLDataElement Element
+<new Element> = <HTMLDataElement>;
+<new DOMString> = <HTMLDataElement>.value;
+<HTMLDataElement>.value = "<value_value>";
+
+#HTMLTimeElement
+!extends HTMLTimeElement Element
+<new Element> = <HTMLTimeElement>;
+<new DOMString> = <HTMLTimeElement>.dateTime;
+<HTMLTimeElement>.dateTime = "<datetime_value>";
+
 #HTMLMarqueeElement
 !extends HTMLMarqueeElement Element
 <new Element> = <HTMLMarqueeElement>;