SpoC 007 - Python Tainted Mode - Progress Page

Objectives for OWASP Spring of Code 2007

Accomplished objectives at 1st of November 2007

• [100%] Formalize Tainted Mode paradigm.
• [100%] Add 'tainted' flag field to str and unicode Python types that tracks data taintedness.
• [100%] Provide propagation of 'tainted' flag throughout strings interaction (concatenation, substring, etc.).
• [100%] Add support for logging of Python programms traces. For debug and analysys purposes only.
• [100%] Add support for analysys of callable objects invocation. Callable object is classified as input, filter, critical or other.
• [100%] Add support for analysys of retrieving data from object fields. For example, data from mod_python's mp_request.headers_in["Accept"] should be treated as tainted.
• [100%] Add support for exceptions raising after tainted data is passed into critical callable objects. This would be "Classical Tainted Mode".
• [100%] Add support for logging of tainted arguments passed into critical callable objects. This would be "Tainted Mode with Logging".
• [100%] Perform review of most popular Python frameworks in order to complete configuration profiles that contain signature of input, filter and critical callable objects for each framework.
• [100%] Perform testing and state proposals for future work.