出典:Wikipedia
出典:『Wikipedia』 (2011/02/13 14:40 UTC 版)
Monoidics is the commercial developer of INFER™, an automatic static analysis tool aimed at proving memory safety for C and C++. The company was founded in 2009 and has offices in the United States, the United Kingdom, and Japan.