WDK 6000 PREFast and user-mode code

Discussion in 'Windows Vista Drivers' started by Maxim S. Shatskih, Sep 6, 2007.

  1. I have a large user-mode project which I'm moving to WDK 6000 from DDK
    2003.

    It builds, but PREFast prints a lot of warnings (like NtStrSafe.H - and I
    use StrSafe.H, like stack usage etc) which are relevant for drivers only.

    Is there any way of telling WDK PREFast _by SOURCES file_ to switch to
    "general user mode code" analyzis mode?

    The only documentation on this subject requires adding a line to each
    source file, which is too bad.
     
    Maxim S. Shatskih, Sep 6, 2007
    #1
    1. Advertisements

  2. Maxim S. Shatskih

    Don Burn Guest

    Don Burn, Sep 6, 2007
    #2
    1. Advertisements

  3. You will be amazed, but I really have read it (\common\license.rtf on the
    CD downloaded off Microsoft Connect).

    EULA says nothing about _what kinds of software_ can I develop using WDK.

    EULA only says:
    - to not make illegal copies of the WDK media itself
    - ban of reverse-engineering of the WDK itself
    - to comply some rules if I would like to benchmark .NET
    - to comply some rules if I would like to redistribute some WDK's binaries
    with my product (some are not redistributable at all).

    Nothing about "what kinds of software can be built using WDK and what
    cannot".
     
    Maxim S. Shatskih, Sep 6, 2007
    #3
  4. Maxim S. Shatskih

    Don Burn Guest

    Max,

    I may be loosing my mind, but I believe I saw a document that
    indicated that PreFast was limited by licensing on what it could do from
    the WDK. This seemed to be a model so that Microsoft could make it a
    feature of the high end of Visual Studio.


    --
    Don Burn (MVP, Windows DDK)
    Windows 2k/XP/2k3 Filesystem and Driver Consulting
    Website: http://www.windrvr.com
    Blog: http://msmvps.com/blogs/WinDrvr
    Remove StopSpam to reply
     
    Don Burn, Sep 6, 2007
    #4
  5. Can you - or somebody from MS - point me at this document?
     
    Maxim S. Shatskih, Sep 6, 2007
    #5
    1. Advertisements

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.