Repository navigation
NIKOS v2.0.0
Version 2.0 adds powerful new additions: Taint Analysis, Use-After-Move Detection, Advanced Concurrency Modeling (std::thread), Web APIs, and more built for the Nitpick ecosystem.
Version 2.0 adds powerful new additions: Taint Analysis, Use-After-Move Detection, Advanced Concurrency Modeling (std::thread), Web APIs, and more built for the Nitpick ecosystem.