[
top
]
chapter
Static detection of security flaws in object-oriented databases