Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
CTSRD-CHERI
/
cheri-c-programming
Public
Notifications
You must be signed in to change notification settings
Fork
8
Star
69
Code
Issues
30
Pull requests
3
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Actions: CTSRD-CHERI/cheri-c-programming
Actions
All workflows
Workflows
Build book
Build book
pages-build-deployment
pages-build-deployment
Show more workflows...
Management
Caches
Deployments
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
142 workflow runs
142 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Tweaks including shifing from 'must' to 'will' in caller notes.
Build book
#131:
Commit
6250920
pushed by
rwatson
22s
memory-allocators
memory-allocators
22s
View #51
View workflow file
Remove header that added little.
Build book
#130:
Commit
1a99e4c
pushed by
rwatson
19s
memory-allocators
memory-allocators
19s
View workflow file
Move intro text on implementations to the implementation section.
Build book
#129:
Commit
73d6ae4
pushed by
rwatson
19s
memory-allocators
memory-allocators
19s
View workflow file
A bit of rewording and sorting out of the introduction to memory allo…
Build book
#128:
Commit
25e7dbf
pushed by
rwatson
20s
memory-allocators
memory-allocators
20s
View workflow file
Fix typo.
Build book
#127:
Commit
4da7457
pushed by
rwatson
21s
memory-allocators
memory-allocators
21s
View workflow file
Fix typo.
Build book
#126:
Commit
ad6632d
pushed by
rwatson
14s
memory-allocators
memory-allocators
14s
View workflow file
Add footnote warning against actually reallocation on every realloc().
Build book
#125:
Commit
85e4489
pushed by
rwatson
20s
memory-allocators
memory-allocators
20s
View workflow file
Remove errant row break in table.
Build book
#124:
Commit
ee25b42
pushed by
rwatson
10s
memory-allocators
memory-allocators
10s
View workflow file
pages build and deployment
pages-build-deployment
#38:
by
github-pages
Bot
29s
gh-pages
gh-pages
29s
bounds-imprecision.md: Fix links
Build book
#123:
Commit
05ab625
pushed by
jrtc27
30s
master
master
30s
View workflow file
Capability and not pointer size for alignment requirement.
Build book
#122:
Commit
2467aa6
pushed by
rwatson
20s
memory-allocators
memory-allocators
20s
View workflow file
Pointer alignment only requires to allocations of at least pointer size.
Build book
#121:
Commit
76132ce
pushed by
rwatson
20s
memory-allocators
memory-allocators
20s
View workflow file
Rephrase allocator padding requirement following feedback from @arich…
Build book
#120:
Commit
9a7850a
pushed by
rwatson
13s
memory-allocators
memory-allocators
13s
View workflow file
Briefify.
Build book
#119:
Commit
7c1f3a7
pushed by
rwatson
15s
memory-allocators
memory-allocators
15s
View workflow file
Say more about pointer revocation in allocator recommendations.
Build book
#118:
Commit
4fb0b2c
pushed by
rwatson
12s
memory-allocators
memory-allocators
12s
View workflow file
Rework allocator implementation guidance with rationale text.
Build book
#117:
Commit
7897435
pushed by
rwatson
12s
memory-allocators
memory-allocators
12s
View workflow file
Indicate that the address equalling the lower bound is just a 'may'.
Build book
#116:
Commit
f534d82
pushed by
rwatson
17s
memory-allocators
memory-allocators
17s
View workflow file
Bit specific about requiring padding for imprecise bounds.
Build book
#115:
Commit
6d48af6
pushed by
rwatson
9s
memory-allocators
memory-allocators
9s
View workflow file
Use more parallel language in lists; fix an adjacent typo.
Build book
#114:
Commit
9cab32b
pushed by
rwatson
17s
memory-allocators
memory-allocators
17s
View workflow file
Allow diagnostics when free() is misused.
Build book
#113:
Commit
6f79e8e
pushed by
rwatson
14s
memory-allocators
memory-allocators
14s
View workflow file
Impose a bit more structure on the introduction; xref other sections.
Build book
#112:
Commit
d36a809
pushed by
rwatson
13s
memory-allocators
memory-allocators
13s
View workflow file
Rather than requiring specific permissions on free(), disallow changes.
Build book
#111:
Commit
98fa91b
pushed by
rwatson
12s
memory-allocators
memory-allocators
12s
View workflow file
Add micro-introduciton to allocator section; xref other text.
Build book
#110:
Commit
44cb2b4
pushed by
rwatson
12s
memory-allocators
memory-allocators
12s
View workflow file
Wording changes to mention posix_memalign, NULL, prefer positive prop…
Build book
#109:
Commit
bf68240
pushed by
rwatson
14s
memory-allocators
memory-allocators
14s
View workflow file
Expand the introduciton on memory-allocator expectations a bit more.
Build book
#108:
Commit
352752b
pushed by
rwatson
13s
memory-allocators
memory-allocators
13s
View workflow file
Previous
1
2
3
4
5
6
Next
You can’t perform that action at this time.