Home
Education Page
Description
Schedule
Mailinglists
Literature
Book
Slides
WebLog
Assignments
Learning Wiki
Personal Log
Projects
Reviews
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Static Analysis Tools
Swe04
Static analysis tools check certain properties of software systems without running the system, but rather by inspecting the source code. * Ball, T.; Larus, J. R.: Using Paths to Measure, Explain, and Enhance Program Behavior. IEEE Computer, July 2000, pp. 57-65
