blob: f435a385e1cb88f86031871063a7572b85ab0a4a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
class Certificate{}
object Admin extends Certificate;
class SecurityViolationException extends Exception
object Sensitive {
def makeSensitive(credentials: Certificate): Sensitive =
if (credentials == Admin) new Sensitive()
else throw new SecurityViolationException
}
class Sensitive private () {
}
object Attacker {
val x = Sensitive.makeSensitive(null)
val y = new Sensitive()
}
|
