[win-pv-devel] SDV problem - spaces not quoted properly?

[Marek Marczykowski-Górecki <marmarek@xxxxxxxxxxxxxxxxxxxxxx>]

Hi,

I've run into weird SDV call problem. It fails with not so helpful
message:
  staticdv /check:default.sdv
  SDV: C:\Program Files (x86)\Windows Kits\10\TOOLS\SDV
  SMV: C:\Program Files (x86)\Windows Kits\10\TOOLS\SDV\smv
  SDVAP: C:\Program Files (x86)\Windows 
Kits\10\TOOLS\SDV\smv\analysisplugins\sdv
  Build environment: msbuild

(...)

  Building ...Done
  [INFO] Using plugin SdvPlugin.SmvSdv for analysis.
  [INFO] Running analysis on 26 precondition(s) & 158 rule(s) ...
  [INFO] Checking preconditions...
  [FATAL ERROR] Action: FinalCompile - startioroutine, failed.
C:\Program Files (x86)\Windows Kits\10\build\windowsdriver.Sdv.targets(136,9): 
error MSB3073: The command "staticdv /check:default.sdv" exited with code -1. 
[E:\xeniface\vs2017\xeniface\xeniface.vcxproj]
Done Building Project "E:\xeniface\vs2017\xeniface\xeniface.vcxproj" (sdv 
target(s)) -- FAILED.

After adding /debug to staticdv call, I've got something interesting -
in vs2017/xeniface/sdv/check/startioroutine/smvexecute-FinalCompile.log
it looks like spaces not quoted correctly in paths:

    cl : Command line warning D9027 : source file 'Files' ignored
    cl : Command line warning D9024 : unrecognized source file type 
'(x86)\Windows', object file assumed
    cl : Command line warning D9027 : source file '(x86)\Windows' ignored
    cl : Command line warning D9024 : unrecognized source file type 
'Kits\10\Include\10.0.17134.0\shared\warning.h /analyze /analyze:quiet 
/analyze:stacksize1024 /analyze:pluginC:\Program', object file assumed
    cl : Command line warning D9027 : source file 
'Kits\10\Include\10.0.17134.0\shared\warning.h /analyze /analyze:quiet 
/analyze:stacksize1024 /analyze:pluginC:\Program' ignored
    cl : Command line warning D9024 : unrecognized source file type 'Files', 
object file assumed

Full file in [1].

As you can see there, some paths are correctly handled but not the
others. I've found that those broken are all in
vs2017/xeniface/sdv/sdv_cl.rsp[2] file, but I have no idea what it its
relation for others.

For now I gave up and disabled SDV...

[1] https://gist.github.com/d2c8e2d6882bce6ac0528a40cd66e2d7
[2] https://gist.github.com/4bef16dace8bea640c9e4cf4b57a55bf

-- 
Best Regards,
Marek Marczykowski-Górecki
Invisible Things Lab
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?

Attachment: signature.asc
Description: PGP signature

_______________________________________________
win-pv-devel mailing list
win-pv-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/win-pv-devel