Skip to content

Simplification of assembly and fixing of watermark tests #8

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
kyle-github merged 14 commits into from
Apr 29, 2026
Merged

Simplification of assembly and fixing of watermark tests #8

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
7cd949b
fix up page size estimation code. Add planning doc for simplification.
kyle-github Apr 21, 2026
06aa297
Add additional signal, SIGILL, when running ASAN/UBSAN sanitizers.
kyle-github Apr 21, 2026
2ba09ff
Update code coverage badges [skip ci]
actions-user Apr 21, 2026
2767c67
Remove the old lower level symmetric coroutine API. It is not used or…
kyle-github Apr 28, 2026
aa7952d
More updates to streamline the assembly and C code. Updates to test …
kyle-github Apr 28, 2026
5c16aef
Add test_yafl_guard back into tests on macOS. The signal raised is c…
kyle-github Apr 28, 2026
2816657
Update code coverage badges [skip ci]
actions-user Apr 28, 2026
e226d8e
Add volatile to stack buffer to make sure that stores are not elimina…
kyle-github Apr 29, 2026
9447014
Remove fcontext names.
kyle-github Apr 29, 2026
8033bbc
Update code coverage badges [skip ci]
actions-user Apr 29, 2026
0edf9b6
Cleaning up comments and calls to get the page size.
kyle-github Apr 29, 2026
dbfd50e
Update code coverage badges [skip ci]
actions-user Apr 29, 2026
fe6dcd3
Update/fix the i386 and mips64 assembly. Looks like there was an err…
kyle-github Apr 29, 2026
d7a54b0
Miscalculation on stack reservations. Maybe fixed?
kyle-github Apr 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 2 additions & 7 deletions CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -213,6 +213,7 @@ set(TESTS
test_yafl_suspend_resume
test_yafl_guard
test_yafl_many
test_yafl_watermark
)

# Create static library
Expand All @@ -233,18 +234,12 @@ endforeach()
# Testing
# ============================================================================

enable_testing()
include(CTest)

# Ensure all test-related output goes to the build directory only
set_property(GLOBAL PROPERTY CTEST_TARGETS_ADDED TRUE)

foreach(test ${TESTS})
# Skip guard page test on macOS when coverage is enabled (coverage instrumentation changes signal behavior)
if(ENABLE_COVERAGE AND APPLE AND "${test}" STREQUAL "test_yafl_guard")
message(STATUS "Skipping ${test} on macOS (coverage enabled)")
continue()
endif()

# Use absolute path to binary so tests run from build directory
add_test(NAME ${test} COMMAND ${test})
endforeach()
Expand Down
2 changes: 1 addition & 1 deletion docs/coverage.svg
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
100 changes: 76 additions & 24 deletions docs/coverage/gcov.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,20 @@ td.title
font-style: italic;
font-weight: bold;
}
/* table footnote */
td.footnote
{
text-align: left;
padding-left: 100px;
padding-right: 10px;
background-color: #dae7fe; /* light blue table background color */
/* dark blue table header color
background-color: #6688d4; */
white-space: nowrap;
font-family: sans-serif;
font-style: italic;
font-size:70%;
}
/* "Line coverage date bins" leader */
td.subTableHeader
{
Expand Down Expand Up @@ -187,6 +201,17 @@ td.coverFile
font-family: monospace;
}

/* Directory view/File view (all): directory name entry format */
td.coverDirectory
{
text-align: left;
padding-left: 10px;
padding-right: 20px;
color: #284fa8;
background-color: #b8d0ff;
font-family: monospace;
}

/* Directory view/File view (all): filename entry format */
td.overallOwner
{
Expand Down Expand Up @@ -528,12 +553,29 @@ pre.source
margin-top: 2px;
}

/* elided/removed code */
span.elidedSource
{
font-family: sans-serif;
/*font-size: 8pt; */
font-style: italic;
background-color: lightgrey;
}

/* Source code view: line number format */
span.lineNum
{
background-color: #efe383;
}

/* Source code view: line number format when there are deleted
lines in the corresponding location */
span.lineNumWithDelete
{
foreground-color: #efe383;
background-color: lightgrey;
}

/* Source code view: format for Cov legend */
span.coverLegendCov
{
Expand Down Expand Up @@ -634,7 +676,17 @@ a.branchTla:visited
color: #000000;
}

/* Source code view/table entry backround: format for lines classified as "Uncovered New Code (+ => 0):
a.mcdcTla:link
{
color: #000000;
}

a.mcdcTla:visited
{
color: #000000;
}

/* Source code view/table entry background: format for lines classified as "Uncovered New Code (+ => 0):
Newly added code is not tested" */
td.tlaUNC
{
Expand All @@ -645,7 +697,7 @@ td.tlaBgUNC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Uncovered New Code (+ => 0):
/* Source code view/table entry background: format for lines classified as "Uncovered New Code (+ => 0):
Newly added code is not tested" */
span.tlaUNC
{
Expand All @@ -670,7 +722,7 @@ td.headerCovTableHeadUNC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Lost Baseline Coverage (1 => 0):
/* Source code view/table entry background: format for lines classified as "Lost Baseline Coverage (1 => 0):
Unchanged code is no longer tested" */
td.tlaLBC
{
Expand All @@ -681,7 +733,7 @@ td.tlaBgLBC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Lost Baseline Coverage (1 => 0):
/* Source code view/table entry background: format for lines classified as "Lost Baseline Coverage (1 => 0):
Unchanged code is no longer tested" */
span.tlaLBC
{
Expand All @@ -706,7 +758,7 @@ td.headerCovTableHeadLBC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Uncovered Included Code (# => 0):
/* Source code view/table entry background: format for lines classified as "Uncovered Included Code (# => 0):
Previously unused code is untested" */
td.tlaUIC
{
Expand All @@ -717,7 +769,7 @@ td.tlaBgUIC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Uncovered Included Code (# => 0):
/* Source code view/table entry background: format for lines classified as "Uncovered Included Code (# => 0):
Previously unused code is untested" */
span.tlaUIC
{
Expand All @@ -742,7 +794,7 @@ td.headerCovTableHeadUIC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Uncovered Baseline Code (0 => 0):
/* Source code view/table entry background: format for lines classified as "Uncovered Baseline Code (0 => 0):
Unchanged code was untested before, is untested now" */
td.tlaUBC
{
Expand All @@ -753,7 +805,7 @@ td.tlaBgUBC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Uncovered Baseline Code (0 => 0):
/* Source code view/table entry background: format for lines classified as "Uncovered Baseline Code (0 => 0):
Unchanged code was untested before, is untested now" */
span.tlaUBC
{
Expand All @@ -778,7 +830,7 @@ td.headerCovTableHeadUBC {
background-color: #FF6230;
}

/* Source code view/table entry backround: format for lines classified as "Gained Baseline Coverage (0 => 1):
/* Source code view/table entry background: format for lines classified as "Gained Baseline Coverage (0 => 1):
Unchanged code is tested now" */
td.tlaGBC
{
Expand All @@ -789,7 +841,7 @@ td.tlaBgGBC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Gained Baseline Coverage (0 => 1):
/* Source code view/table entry background: format for lines classified as "Gained Baseline Coverage (0 => 1):
Unchanged code is tested now" */
span.tlaGBC
{
Expand All @@ -814,7 +866,7 @@ td.headerCovTableHeadGBC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Gained Included Coverage (# => 1):
/* Source code view/table entry background: format for lines classified as "Gained Included Coverage (# => 1):
Previously unused code is tested now" */
td.tlaGIC
{
Expand All @@ -825,7 +877,7 @@ td.tlaBgGIC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Gained Included Coverage (# => 1):
/* Source code view/table entry background: format for lines classified as "Gained Included Coverage (# => 1):
Previously unused code is tested now" */
span.tlaGIC
{
Expand All @@ -850,7 +902,7 @@ td.headerCovTableHeadGIC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Gained New Coverage (+ => 1):
/* Source code view/table entry background: format for lines classified as "Gained New Coverage (+ => 1):
Newly added code is tested" */
td.tlaGNC
{
Expand All @@ -861,7 +913,7 @@ td.tlaBgGNC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Gained New Coverage (+ => 1):
/* Source code view/table entry background: format for lines classified as "Gained New Coverage (+ => 1):
Newly added code is tested" */
span.tlaGNC
{
Expand All @@ -886,7 +938,7 @@ td.headerCovTableHeadGNC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Covered Baseline Code (1 => 1):
/* Source code view/table entry background: format for lines classified as "Covered Baseline Code (1 => 1):
Unchanged code was tested before and is still tested" */
td.tlaCBC
{
Expand All @@ -897,7 +949,7 @@ td.tlaBgCBC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Covered Baseline Code (1 => 1):
/* Source code view/table entry background: format for lines classified as "Covered Baseline Code (1 => 1):
Unchanged code was tested before and is still tested" */
span.tlaCBC
{
Expand All @@ -922,7 +974,7 @@ td.headerCovTableHeadCBC {
background-color: #CAD7FE;
}

/* Source code view/table entry backround: format for lines classified as "Excluded Uncovered Baseline (0 => #):
/* Source code view/table entry background: format for lines classified as "Excluded Uncovered Baseline (0 => #):
Previously untested code is unused now" */
td.tlaEUB
{
Expand All @@ -933,7 +985,7 @@ td.tlaBgEUB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Excluded Uncovered Baseline (0 => #):
/* Source code view/table entry background: format for lines classified as "Excluded Uncovered Baseline (0 => #):
Previously untested code is unused now" */
span.tlaEUB
{
Expand All @@ -958,7 +1010,7 @@ td.headerCovTableHeadEUB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Excluded Covered Baseline (1 => #):
/* Source code view/table entry background: format for lines classified as "Excluded Covered Baseline (1 => #):
Previously tested code is unused now" */
td.tlaECB
{
Expand All @@ -969,7 +1021,7 @@ td.tlaBgECB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Excluded Covered Baseline (1 => #):
/* Source code view/table entry background: format for lines classified as "Excluded Covered Baseline (1 => #):
Previously tested code is unused now" */
span.tlaECB
{
Expand All @@ -994,7 +1046,7 @@ td.headerCovTableHeadECB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Deleted Uncovered Baseline (0 => -):
/* Source code view/table entry background: format for lines classified as "Deleted Uncovered Baseline (0 => -):
Previously untested code has been deleted" */
td.tlaDUB
{
Expand All @@ -1005,7 +1057,7 @@ td.tlaBgDUB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Deleted Uncovered Baseline (0 => -):
/* Source code view/table entry background: format for lines classified as "Deleted Uncovered Baseline (0 => -):
Previously untested code has been deleted" */
span.tlaDUB
{
Expand All @@ -1030,7 +1082,7 @@ td.headerCovTableHeadDUB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Deleted Covered Baseline (1 => -):
/* Source code view/table entry background: format for lines classified as "Deleted Covered Baseline (1 => -):
Previously tested code has been deleted" */
td.tlaDCB
{
Expand All @@ -1041,7 +1093,7 @@ td.tlaBgDCB {
background-color: #FFFFFF;
}

/* Source code view/table entry backround: format for lines classified as "Deleted Covered Baseline (1 => -):
/* Source code view/table entry background: format for lines classified as "Deleted Covered Baseline (1 => -):
Previously tested code has been deleted" */
span.tlaDCB
{
Expand Down
Loading
Loading