[LAA] Introducing sfpv - Real-time Verification Tool

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: <linux-audio-announce@...>
Date: Wednesday, May 30, 2012 - 9:50 am

Hello all,

I would like to introduce a new development tool, Static Function
Property Verification, or sfpv.
sfpv is a static analysis tool for C/C++ which is designed to find one
common class of real-time related bugs, calling unsafe functions from
a real-time context.
sfpv uses annotations to mark functions and the Clang/llvm API to find
relationships between functions (eg. the call graph).
It uses this information to perform basic deductions on known
information (ie explicitly marked functions) to find inconsistencies.
Ideally this tool could be run on a project with only the real-time
entry points marked (eg the jack process callback) and errors would be
emitted for any unsafe functions called.
For simple C codebases, this is mostly accomplished currently, though
not all common safe functions in libraries have been white-listed yet.
Basic C++ code also works, though template and class hierarchies are
not guaranteed to function as expected.

The source code and basic documentation can be found at
http://github.com/fundamental/sfpv

This effort is largely based off a unsuccessful Google Summer of Code
proposal, which can be found at
http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/funda...

Anyone interested in discussing this tool should be able to reach me
in #lad as fundamental.

--Mark McCurry
_______________________________________________
Linux-audio-announce mailing list
Linux-audio-announce@lists.linuxaudio.org
http://lists.linuxaudio.org/listinfo/linux-audio-announce

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[linux-audio-announce] ANN: New version of liblrdf, Steve Harris, (Thu Mar 6, 3:07 pm)
[linux-audio-announce] Beta 21 Of MMA now up., bob van der Poel, (Thu Apr 6, 6:49 pm)
[LAA] MMA 1.6 has been released, Bob van der Poel, (Sun May 9, 8:03 am)
[LAA] Introducing sfpv - Real-time Verification Tool, Mark McCurry, (Wed May 30, 9:50 am)
[LAA] Vee One Suite 0.3.2 - One third bug-fix release, Rui Nuno Capela, (Sun Mar 3, 5:23 pm)