1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
#define PLACE_IN_TCB(NAME) __attribute__((enforce_tcb(NAME)))
#define PLACE_IN_TCB_LEAF(NAME) __attribute__((enforce_tcb_leaf(NAME)))
__attribute__((objc_root_class))
@interface AClass
@property(readonly) id propertyNotInAnyTCB;
@end
@implementation AClass
- (void)inTCBFoo PLACE_IN_TCB("foo") {
[self notInAnyTCB]; // expected-warning{{calling 'notInAnyTCB' is a violation of trusted computing base 'foo'}}
}
- (void)inTCBFooAsLeaf PLACE_IN_TCB_LEAF("foo") {
[self notInAnyTCB]; // no-warning
}
- (void)notInAnyTCB {
}
+ (void)classMethodNotInAnyTCB {
}
+ (void)classMethodInTCBFoo PLACE_IN_TCB("foo") {
[self inTCBFoo]; // no-warning
[self inTCBFooAsLeaf]; // no-warning
[self notInAnyTCB]; // expected-warning{{calling 'notInAnyTCB' is a violation of trusted computing base 'foo'}}
}
@end
PLACE_IN_TCB("foo")
void call_objc_method(AClass *object) {
[object inTCBFoo]; // no-warning
[object inTCBFooAsLeaf]; // no-warning
[object notInAnyTCB]; // expected-warning{{calling 'notInAnyTCB' is a violation of trusted computing base 'foo'}}
[AClass classMethodNotInAnyTCB]; // expected-warning{{calling 'classMethodNotInAnyTCB' is a violation of trusted computing base 'foo'}}
[AClass classMethodInTCBFoo]; // no-warning
(void)object.propertyNotInAnyTCB; // expected-warning{{calling 'propertyNotInAnyTCB' is a violation of trusted computing base 'foo'}}
}
|
