draperlaboratory hope-policies issues

draperlaboratory / hope-policies

Collection of security policies

3 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix module names in makefile

#141 amstrnad closed 7 months ago
0
Remove hardcoded module name

#140 amstrnad closed 8 months ago
0
Cleanup policies

#139 amstrnad closed 8 months ago
0
skip float_works test on fpga

#138 amstrnad closed 8 months ago
0
Tweak test expectations for malloc_works_3 and null_ptr_deref_fails_1

#137 amstrnad closed 10 months ago
0
BSP Reorganization

#136 aroelke closed 9 months ago
0
Remove warning about implicit definition of printf

#135 amstrnad closed 1 year ago
0
Add mailbox to inits for policies used by fpga tests

#134 amstrnad closed 1 year ago
0
Stall Counters

#133 aroelke closed 1 year ago
0
Add test for pr-metadata-loc-fix

#132 mem-frob closed 1 year ago
1
"Depointer" Tags

#131 aroelke closed 1 year ago
0
C++ Tagging Tools

#130 aroelke closed 1 year ago
0
`md_asm_ann` Should Work on Finished Tag File

#129 aroelke opened 2 years ago
0
Fix ELF Section Tagging in cfi and threeClass

#128 aroelke closed 2 years ago
0
Fix offset_free_fails_1 64-Bit Hang

#127 aroelke closed 3 years ago
0
Test Performance with Latest HW Drop

#126 aroelke opened 3 years ago
2
Support SBRK

#125 aroelke opened 4 years ago
0
Soft reset between FPGA tests when possible

#124 amstrnad closed 4 years ago
0
Run pytest in a virtual environment

#123 JohnPMerrill opened 4 years ago
0
Changes based on testing on the FPGA

#122 amstrnad closed 4 years ago
0
Try re-checking for missing uart.log

#121 amstrnad closed 4 years ago
0
Add FreeRTOS 64-bit VCU118 config

#120 JohnPMerrill closed 4 years ago
0
Tag granularity

#119 amstrnad closed 4 years ago
0
Fix RC4 tests

#118 schadley closed 4 years ago
0
Dhrystone fixes

#117 schadley closed 4 years ago
0
Assembly printing + inline assembly test

#116 schadley closed 4 years ago
0
Stop build-tests from depending on build-policies

#115 JohnPMerrill closed 4 years ago
1
Revert VCU ModColor Changes

#114 natestuder closed 4 years ago
0
`build-tests` should not depend upon `build-policies` in the policy tests Makefile

#113 JohnPMerrill opened 4 years ago
0
Remove ModColor tag from memory at the end of malloc

#112 aroelke closed 4 years ago
0
Changes for seL4 loader policy

#111 amstrnad closed 4 years ago
0
Merrill debug fix

#110 JohnPMerrill closed 4 years ago
0
Policy test tweaks for a runtime processor option

#109 JohnPMerrill closed 4 years ago
0
64-bit Testing on FPGA

#108 aroelke closed 4 years ago
0
list of global policies should not be sorted

#107 amstrnad opened 4 years ago
0
Decouple policies and validator/kernel

#106 JohnPMerrill closed 4 years ago
2
Use virtual environment to manage pytest version

#105 JohnPMerrill opened 4 years ago
0
Jenkins passes extreme failure case incorrectly

#104 amstrnad opened 4 years ago
0
Composite policies should not generate with only global policies

#103 amstrnad opened 4 years ago
0
64 bit simulation support

#102 natestuder closed 4 years ago
0
Heap policy is not fully supported by printf code

#101 amstrnad opened 4 years ago
0
Separate performance tests from unit tests

#100 JohnPMerrill closed 4 years ago
0
Review `testComplex` and reenable

#99 amstrnad opened 4 years ago
0
Policy tests for resource management CWEs (use-after-free, double free, invalid free, NULL pointer dereference)

#98 JohnPMerrill closed 4 years ago
3
Policy tests for resource management CWEs (use-after-free, double free, invalid free, NULL pointer dereference)

#97 JohnPMerrill closed 4 years ago
0
Performance reporting in policy tests

#96 JohnPMerrill closed 4 years ago
0
Ported Testgen Tests

#95 Hackmodford opened 4 years ago
1
Performance reporting in policy tests

#94 JohnPMerrill closed 4 years ago
0
Fix coremark

#93 amstrnad closed 4 years ago
0
Fix coremark test

#92 amstrnad closed 4 years ago
0