GitHub - binsec/klee21-tina-artifact: TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to take advantage of existing C analyzers. - discu.eu

Reddit

TInA: an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to take advantage of existing C analyzers https://github.com/binsec/klee21-tina-artifact 3 comments 17/6/2021 c_programming

Linked pages

Frama-C - Framework for Modular Analysis of C programs https://frama-c.com/ 56 comments

Would you like to stay up to date with C & C++? Checkout C & C++ Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - binsec/klee21-tina-artifact: TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to take advantage of existing C analyzers.

See how to search.

Submit link to: