Skip to content

LinuxUser404/smack-glibc

About

This repository contains modified source code of GNU Standard C library and scripts that allow to verify its correctness with SMACK verification tool.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published