Joint Advanced Defect assEsment for android applications

Other

JAADAS

Image inpainting tool powered by SOTA AI Model. Remove any unwanted object, defect, people from your pictures or erase and replace(powered by stable diffusion) any thing on your pictures.

Apache License 2.0

IOPaint

lama-cleaner

A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

BSD 3-Clause "New" or "Revised" License

oclint

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.