Schooling

Bachelor of Computer Applications - BCA

Development Intern

Contributing this year to The JPF Team in GSoC 2025. 1. Started with finding out the support of runtime exception for string methods in SPF, listed down all types of runtime exceptions they can raise, also ran the sv-benchmarks and listed down the benchmarks where SPF loses points. 2. Started supporting Symbolic String Handler with a null choice that should be explored because a symbolic string can also be null. 3. Added support the IFNULL bytecode because a user can also specify if (str != null). Tested and debugged my code with a lot of examples and test cases under the new version of SPF. Currently supporting IFNONNULL bytecode.

Contributor

Associate Software Engineer

coder

Know about SAIF ALI KHAN's work experience, education, bootcamps, certifications, and much more. SAIF ALI KHAN