search

microsoft / Static-Module-Verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.
MIT License
9 stars 11 forks source link

avn hangs from time to time #11

Closed shaobo-he closed 7 years ago

shaobo-he commented 7 years ago

Sometimes avn just hangs there forever. Here is an example output,

E:\linux\drivers\media_v4l2core>avn media-v4l2-core-null.inst.bpl /cloud
[INFO] Running using cloud...
[INFO] SMVFastAVN initialized.
[INFO] Using cloud.
[INFO] Validating XML against schema: e:\smv-fastavn-11-7-2016\bin\Config.xsd
[INFO] Running local scheduler with 4 threads
[INFO] Validating XML against schema: e:\smv-fastavn-11-7-2016\bin\CloudConfig.xsd
[INFO] Scheduler Instance GUID: 2e5627ad-4368-4e35-b4df-4c538e466b20
[INFO] Using plugin FastAVN.SMVFastAVN for analysis.
15 of 862 jobs remaining. Avg(s): 89.13. Std.Dev(s): 240.58[ERROR] Failed to complete action: e4863264-bfd3-4c74-ab7b-4cea1985fe04 (CheckEntryPoints)
12 of 862 jobs remaining. Avg(s): 97.47. Std.Dev(s): 295.36[ERROR] Failed to complete action: ee3ed645-3c49-4c2b-8305-54d6016e9e48 (CheckEntryPoints)
6 of 862 jobs remaining. Avg(s): 111.08. Std.Dev(s): 347.75[ERROR] Failed to complete action: aea26428-6f5f-4349-b0e5-64a588a9622b (CheckEntryPoints)
[ERROR] Failed to complete action: 0069e28a-a7fb-4538-96c8-cce5d72a3ded (CheckEntryPoints)
0 of 862 jobs remaining. Avg(s): 125.97. Std.Dev(s): 411.19
-2 of 862 jobs remaining. Avg(s): 134.12. Std.Dev(s): 444.05

I have to kill the process and run fastavn to merge bugs manually.

Shaobo

rahulku commented 7 years ago

@Guoanshisb we need to update you with the new binaries.