- ๐ญ Iโm currently M.Tech CSE student @IIT Indore
- ๐ฑ Iโm currently learning container technology ie kubernetes and docker
- ๐ฏ Iโm looking to collaborate on cncf
- ๐ค Iโm looking for help with web developers
- ๐ฌ Ask me about container technology
- ๐ฑ Iโve blogged here: https://sksonukushwaha403.medium.com/
- ๐ซ How to reach me: [email protected]
- ๐ค Iโm on Twitter : https://twitter.com/Sonukum68800604
- ๐ Pronouns: he/him/his
- โก Fun fact: I love to leave my phone unanswered and then text them to know why they had called. -->
sonukushwaha403 / jpf-core Goto Github PK
View Code? Open in Web Editor NEWThis project forked from javapathfinder/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.