config/static-checking.js

   1 /**
   2  * A script for GCC-dehydra to analyze the Mozilla codebase and catch
   3  * patterns that are incorrect, but which cannot be detected by a compiler. */
   4
   5 /**
   6  * Activate Treehydra outparams analysis if running in Treehydra.
   7  */
   8
   9 function treehydra_enabled() {
  10   return this.hasOwnProperty('TREE_CODE');
  11 }
  12
  13 include('unstable/getopt.js');
  14 [options, args] = getopt();
  15
  16 sys.include_path.push(options.topsrcdir);
  17
  18 include('string-format.js');
  19
  20 let modules = [];
  21
  22 function LoadModules(modulelist)
  23 {
  24   if (modulelist == "")
  25     return;
  26
  27   let modulenames = modulelist.split(',');
  28   for each (let modulename in modulenames) {
  29     let module = { __proto__: this };
  30     include(modulename, module);
  31     modules.push(module);
  32   }
  33 }
  34
  35 LoadModules(options['dehydra-modules']);
  36 if (treehydra_enabled())
  37   LoadModules(options['treehydra-modules']);
  38
  39 function process_type(c)
  40 {
  41   for each (let module in modules)
  42     if (module.hasOwnProperty('process_type'))
  43       module.process_type(c);
  44 }
  45
  46 function hasAttribute(c, attrname)
  47 {
  48   var attr;
  49
  50   if (c.attributes === undefined)
  51     return false;
  52
  53   for each (attr in c.attributes)
  54     if (attr.name == 'user' && attr.value[0] == attrname)
  55       return true;
  56
  57   return false;
  58 }
  59 function process_function(f, stmts)
  60 {
  61   for each (let module in modules)
  62     if (module.hasOwnProperty('process_function'))
  63       module.process_function(f, stmts);
  64 }
  65
  66 function process_tree(fndecl)
  67 {
  68   for each (let module in modules)
  69     if (module.hasOwnProperty('process_tree'))
  70       module.process_tree(fndecl);
  71 }
  72
  73 function process_decl(decl)
  74 {
  75   for each (let module in modules)
  76     if (module.hasOwnProperty('process_decl'))
  77       module.process_decl(decl);
  78 }
  79
  80 function process_cp_pre_genericize(fndecl)
  81 {
  82   for each (let module in modules)
  83     if (module.hasOwnProperty('process_cp_pre_genericize'))
  84       module.process_cp_pre_genericize(fndecl);
  85 }
  86
  87 function input_end()
  88 {
  89   for each (let module in modules)
  90     if (module.hasOwnProperty('input_end'))
  91       module.input_end();
  92 }