Search Results for "c language"

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. Infer checks for null pointer dereferences, memory leaks, coding conventions...

...Multilanguage support, included Python and Ruby. C/C++ GNU GCC 4.8 Python Python 2.7.10 Ruby Ruby 2.2.2 2). Now features Time Complexity Analyser 3). Faster execution 4). Minor bugs fixed 5). Perfect for organising offline coding contests 6) Download language modules to get language support

The "gc" language is a script language with c++ grammer and c++ class library . The gaiasle is a set of script language framework . It has some new ideas about soft development ,specially about web server programs .

REL (Research and Education Language) is a simple but very powerfull language with a compiler, an interpreter and a verifier.