Home | History | Annotate | Download | only in Checkers

Lines Matching refs:CALL

48 #define CALL(required_args, deallocated_arg, ...)                              \
54 CALL(3, 1, "vm_deallocate"),
55 CALL(3, 1, "mach_vm_deallocate"),
56 CALL(2, 0, "mig_deallocate"),
57 CALL(2, 1, "mach_port_deallocate"),
58 CALL(1, 0, "device_deallocate"),
59 CALL(1, 0, "iokit_remove_connect_reference"),
60 CALL(1, 0, "iokit_remove_reference"),
61 CALL(1, 0, "iokit_release_port"),
62 CALL(1, 0, "ipc_port_release"),
63 CALL(1, 0, "ipc_port_release_sonce"),
64 CALL(1, 0, "ipc_voucher_attr_control_release"),
65 CALL(1, 0, "ipc_voucher_release"),
66 CALL(1, 0, "lock_set_dereference"),
67 CALL(1, 0, "memory_object_control_deallocate"),
68 CALL(1, 0, "pset_deallocate"),
69 CALL(1, 0, "semaphore_dereference"),
70 CALL(1, 0, "space_deallocate"),
71 CALL(1, 0, "space_inspect_deallocate"),
72 CALL(1, 0, "task_deallocate"),
73 CALL(1, 0, "task_inspect_deallocate"),
74 CALL(1, 0, "task_name_deallocate"),
75 CALL(1, 0, "thread_deallocate"),
76 CALL(1, 0, "thread_inspect_deallocate"),
77 CALL(1, 0, "upl_deallocate"),
78 CALL(1, 0, "vm_map_deallocate"),
83 CALL(1, 0, "IOUserClient", "releaseAsyncReference64"),
84 CALL(1, 0, "IOUserClient", "releaseNotificationPort"),
85 #undef CALL
93 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
182 void MIGChecker::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
183 if (Call.isCalled(OsRefRetain)) {
188 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) {
201 return Call.isCalled(Item.first);
208 SVal Arg = Call.getArgSVal(ArgIdx);