User:Realazthat/Projects wishlist/LLVM/Formal methods: Difference between revisions
Content added Content deleted
No edit summary |
|||
Line 19: | Line 19: | ||
* Compute function complexity |
* Compute function complexity |
||
** Allow the function to assert 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) |
* Allow a programmer to make certain assumptions on input (probably through assertions) |
||
* Prove that no undefined behavior can occur |
* Prove that no undefined behavior can occur |