Anonymous user
User:Realazthat/Projects wishlist/LLVM/Formal methods: Difference between revisions
User:Realazthat/Projects wishlist/LLVM/Formal methods (view source)
Revision as of 20:06, 31 October 2010
, 13 years ago→Features
No edit summary |
|||
Line 19:
* Compute function complexity
** Allow the function to assert complexity
* Allow arbitrary restrictions on functions, which would propagate through the call graph
** Complexity (time/memory)
** Restricting stack allocation
** Restricting heap allocation
* Allow a programmer to make certain assumptions on input (probably through assertions)
* Prove that no undefined behavior can occur
|