yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #5976 from k32/xref-extend 

chore(xref): Extend the list of forbidden Mnesia APIs
This commit is contained in:
k32 2021-10-21 22:45:59 +02:00 committed by GitHub
parent 61e985d885 fc5fab26dc
commit fac5ef777f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
rebar.config
View File

@ -16,12 +16,14 @@
{xref_checks,[undefined_function_calls,undefined_functions,locals_not_used,
deprecated_function_calls,warnings_as_errors,deprecated_functions]}.
%% Check for the mnesia calls forbidden by Ekka:
%% Check the forbidden mnesia calls:
{xref_queries,
[ {"E || \"mnesia\":\"dirty_delete.*\"/\".*\" : Fun", []}
, {"E || \"mnesia\":\"transaction\"/\".*\" : Fun", []}
, {"E || \"mnesia\":\"async_dirty\"/\".*\" : Fun", []}
, {"E || \"mnesia\":\"clear_table\"/\".*\" : Fun", []}
, {"E || \"mnesia\":\"create_table\"/\".*\" : Fun", []}
, {"E || \"mnesia\":\"delete_table\"/\".*\" : Fun", []}
]}.
{dialyzer, [