Changes between Version 6 and Version 7 of howto

Timestamp:

Aug 31, 2020, 2:46:57 AM (4 years ago)

Author:

tothm

Comment:

--

howto

@@ -133 +133 @@
  * {{{@fun.calls}}}
 
+ * {{{mods.records[name=mnesia_select]}}}
+ * {{{files.records[name=mnesia_select]}}}
+
+ * {{{mods.records[name=mnesia_select].refs}}}
+ * {{{@record.refs}}}
+
+ * {{{mods.records[name=mnesia_select]}}}
+ * {{{.field[name=orig].refs}}}
+ * {{{@field.refs}}}
+
+ * {{{mods.funs.exprs.sub[type=atom, value=mnesia_tid_locks]}}}
+
+ * {{{mods.funs.exprs.sub[type=string, value~"Error message.*"]}}}
+
+ * {{{mods[name=mnesia_log].funs.exprs.sub[type=tuple,[.sub[index=1].origin[type=atom,value =backup_args]]]}}}
+
+ * {{{mods[name=mnesia_log].funs[name=open_log].refs}}}
+
+ * {{{@expr.origin}}}
+
+ * {{{ri:anal_dyn()}}}
+ * {{{mods.funs.dynrefs}}}
+
+ * {{{mods[name=mnesia].funs[name=write, arity=1].dynrefs}}}
+ * {{{@fun.dynrefs}}}
+
+ * {{{mods[name=mnesia_log].funs[name=open_log].refs[.param[index=1].origin[type=atom, value=decision_log]]}}}
+
+ * {{{mods[name=mnesia].funs[name=foldr].called_by}}}
+
+ * {{{mods[name=mnesia].funs[name=foldr].called_by[mod /= mnesia]}}}
+
+ * {{{mods.macros}}}
+ * {{{mods.macro[name="DEBUG_TAB"].refs}}}
+ * {{{@macro.refs}}}
+ * {{{@expr.macro_value}}}
+
+
 == Checking design rules
+ * {{{mods.funs.is_tail_rec}}}
+ * {{{mods.funs.loc}}}
+ * {{{mods.funs.max_depth_of_cases}}}
+ * {{{mods.funs.branches_of_recursion}}}
+ * {{{mods.num_of_functions}}}
 
 == Detecting vulnerabilities