-
Notifications
You must be signed in to change notification settings - Fork 20
/
stack_protection.go
97 lines (82 loc) · 3.09 KB
/
stack_protection.go
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
// This file is part of Gopher2600.
//
// Gopher2600 is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Gopher2600 is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Gopher2600. If not, see <https://www.gnu.org/licenses/>.
package arm
import (
"errors"
"fmt"
"github.com/jetsetilly/gopher2600/coprocessor"
"github.com/jetsetilly/gopher2600/coprocessor/developer/faults"
)
func (arm *ARM) stackProtectCheckSP() {
// do nothing if stack has already collided
if arm.state.stackHasCollided {
return
}
// get memory block that the stack point is pointing to
stackMemory, stackOrigin := arm.mem.MapAddress(arm.state.registers[rSP], true)
if stackMemory == nil {
arm.state.yield.Type = coprocessor.YieldStackError
arm.state.yield.Error = fmt.Errorf("SP is not pointing to a valid address (%08x)", arm.state.registers[rSP])
} else if stackMemory == arm.state.programMemory {
arm.state.yield.Type = coprocessor.YieldStackError
arm.state.yield.Error = fmt.Errorf("SP is pointing to program memory (%08x)", arm.state.registers[rSP])
} else if arm.state.protectVariableMemTop {
// return is stack and variable memory blocks are different
_, variableOrigin := arm.mem.MapAddress(arm.state.variableMemtop, true)
if stackOrigin != variableOrigin {
return
}
// return is stack pointer is above the top of variable memory
if arm.state.registers[rSP] > arm.state.variableMemtop {
return
}
// set yield type
arm.state.yield.Type = coprocessor.YieldStackError
arm.state.yield.Error = fmt.Errorf("stack collision (SP %08x) with variables (top %08x) ",
arm.state.registers[rSP], arm.state.variableMemtop)
} else {
return
}
arm.state.stackHasCollided = true
// add developer details if possible
if arm.dev != nil {
detail := arm.dev.MemoryFault(arm.state.yield.Error.Error(), faults.StackCollision,
arm.state.executingPC, arm.state.registers[rSP])
if detail != "" {
arm.state.yield.Detail = append(arm.state.yield.Detail, errors.New(detail))
}
}
}
func (arm *ARM) stackProtectCheckProgramMemory() {
if arm.state.stackHasCollided {
return
}
stackMemory, _ := arm.mem.MapAddress(arm.state.registers[rSP], true)
if stackMemory == arm.state.programMemory {
arm.state.yield.Type = coprocessor.YieldStackError
arm.state.yield.Error = fmt.Errorf("SP is pointing to program memory")
arm.state.stackHasCollided = true
} else {
return
}
// add developer details if possible
if arm.dev != nil {
detail := arm.dev.MemoryFault(arm.state.yield.Error.Error(), faults.StackCollision,
arm.state.executingPC, arm.state.registers[rSP])
if detail != "" {
arm.state.yield.Detail = append(arm.state.yield.Detail, errors.New(detail))
}
}
}