/usr/share/adacontrol/ravenscar.aru is in adacontrol 1.19r10-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 | -- These rules enforce some of the restriction of the Ravenscar profile
-- It is expected that new versions of AdaControl will allow more of the
-- Ravenscar profile to be checked.
-- Each rule's label matches the corresponding pragma or restriction
-- from the Ravenscar profile
-- Those that are currently not checked appear as comments.
--
--Pragmas:
--
--Task_Dispatching_Policy
--Locking_Policy
Detect_Blocking : check Potentially_Blocking_Operations;
--
-- Restrictions:
--
No_Abort_Statement : check Statements (Abort);
No_Dynamic_Attachment : check Entities (Ada.Interrupts.Is_Reserved,
Ada.Interrupts.Is_Attached,
Ada.Interrupts.Current_Handler,
Ada.Interrupts.Attach_Handler,
Ada.Interrupts.Exchange_Handler,
Ada.Interrupts.Detach_Handler,
Ada.Interrupts.Reference);
No_Dynamic_Priorities : check Entities (all 'Priority,
Ada.Dynamic_Priorities);
--No_Implicit_Heap_Allocations
No_Local_Protected_Objects : check Declarations (local protected_variable);
--No_Local_Timing_Events
No_Protected_Type_Allocators : check Declarations (access_protected_type);
No_Relative_Delay : check Statements (delay);
No_Requeue_Statements : check Statements (requeue);
No_Select_Statements : check Statements (selective_accept,
conditional_entry_call,
timed_entry_call,
asynchronous_select);
No_Specific_Termination_Handlers : Check Entities (Ada.Task_Termination.Set_Specific_Handler,
Ada.Task_Termination.Specific_Handler);
No_Task_Allocators : check Declarations (access_task_type);
No_Task_Hierarchy : check Declarations (local task_variable);
-- Does not check the case of access types
No_Task_Termination : check Terminating_Tasks;
Simple_Barriers : check Barrier_Expressions;
--Max_Entry_Queue_Length
Max_Protected_Entries : check Declarations (Multiple_Protected_Entries);
Max_Task_Entries : check Declarations (Task_Entry);
No_Dependence : check Dependencies (with,
Ada.Asynchronous_Task_Control,
Ada.Calendar,
Ada.Execution_Time.Group_Budget,
Ada.Execution_Time.Timers,
Ada.Task_Attributes,
System.Multiprocessors.Dispatching_Domains);
|