autosar-pdf-examples/A18-5-5.cpp at main · cppchecksolutions/autosar-pdf-examples · GitHub

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
58
59
60
61
62
63
64
65
66
67
68
69
// Rule: A18-5-5
// Source line: 29845
// Original file: A18-5-5.cpp

//% $Id: A18-5-5.cpp 289815 2017-10-06 11:19:11Z michal.szczepankiewicz $


#define __GNU_SOURCE
#include <dlfcn.h>
#include <cstddef>


void* MallocBad(size_t size)


{
    void* (*libcMalloc)(size_t) = (void* (*)(size_t))dlsym(RTLD_NEXT, "malloc");
    return libcMalloc(size);


// Non-compliant, malloc from libc does not
// guarantee deterministic execution time

}


void FreeBad(void* ptr)


// Non-compliant, malloc from libc does not guarantee
// deterministic execution time

{
    void (*libcFree)(void*) = (void (*)(void*))dlsym(RTLD_NEXT, "free");


    libcFree(ptr);


}


void* MallocGood(size_t size)


{
// Custom implementation that provides deterministic worst-case execution
// time


// Compliant - custom malloc implementation that
// will guarantee deterministic execution time

}


void FreeGood(void* ptr)


{
// Custom implementation that provides deterministic worst-case execution
// time


// Compliant - custom malloc implementation that will
// guarantee deterministic execution time

}