3 ms·
There has been a lot of work on that. Look up Typed Assembly Language, Security in front of that, and Dependently-Typed Assembly Language. Here's one that was i
by nickpsecurity 8y ago
There has been a lot of work on that. Look up Typed Assembly Language, Security in front of that, and Dependently-Typed Assembly Language. Here's one that was integrated with a safe, C variant.
https://www.cs.cornell.edu/talc/ https://www.cs.cornell.edu/talc/
- anyfoo 8y agoWow, even dependently typed, that's pretty brilliant. I can see this being enormously helpful when writing very low level, for example early boot stage, assembly code.
- ChickeNES 8y agoUnfortunately it appears that the linked project is not free software :(
- nickpsecurity 8y agoI have the source but you're right: no obvious license file. I might email them about it.