Как мы можем решить ошибку времени выполнения XSB при преобразовании файла nessus xml в файл .p? - PullRequest
Новая
       17

Как мы можем решить ошибку времени выполнения XSB при преобразовании файла nessus xml в файл .p?

0 голосов
/ 04 ноября 2019

Каждый раз, когда я пытался преобразовать файл сканирования уязвимостей nessus в файл nessus.p, который является вводом для mulval, я получаю ошибку ниже. 

| ?- ++Error[XSB/Runtime/P]: [Existence (No procedure usermod : vulExists / 3 exists)] []
    Forward Continuation...
    ... machine:xsb_backtrace/1  From /opt/moudles/XSB/syslib/machine.xwam
    ... standard:call_c/1  From /opt/moudles/XSB/syslib/standard.xwam
    ... standard:call/1  From /opt/moudles/XSB/syslib/standard.xwam
    ... setof:bfindall/4  From /opt/moudles/XSB/syslib/setof.xwam
    ... setof:bagof1/3  From /opt/moudles/XSB/syslib/setof.xwam
    ... setof:setof/3  From /opt/moudles/XSB/syslib/setof.xwam
    ... standard:call/1  From /opt/moudles/XSB/syslib/standard.xwam
    ... setof:findall/3  From /opt/moudles/XSB/syslib/setof.xwam
    ... x_interp:_$call/1  From /opt/moudles/XSB/syslib/x_interp.xwam
    ... x_interp:call_query/1  From /opt/moudles/XSB/syslib/x_interp.xwam
    ... standard:call/1  From /opt/moudles/XSB/syslib/standard.xwam
    ... standard:catch/3  From /opt/moudles/XSB/syslib/standard.xwam
    ... x_interp:interpreter/0  From /opt/moudles/XSB/syslib/x_interp.xwam
    ... loader:ll_code_call/3  From /opt/moudles/XSB/syslib/loader.xwam
    ... loader:load_object_file/2  From /opt/moudles/XSB/syslib/loader.xwam
    ... standard:call/1  From /opt/moudles/XSB/syslib/standard.xwam
    ... standard:catch/3  From /opt/moudles/XSB/syslib/standard.xwam
| ?- ++Error[XSB/Runtime/P]: [Existence (No procedure usermod : networkServiceInfo / 5 exists)] []
...