Path	Lines of Code
infer/models/c/src/glib.c	35
infer/models/c/src/infer_builtins.c	56
infer/models/c/src/infer_builtins.h	37
infer/models/c/src/libc_basic.c	1337
infer/models/c/src/math.c	224
infer/models/c/src/wchar.c	285
infer/models/c/src/wctype.c	35
infer/models/c/src/xlib.c	11
infer/models/cpp/src/c_src/glib.c	35
infer/models/cpp/src/c_src/infer_builtins.c	56
infer/models/cpp/src/c_src/infer_builtins.h	37
infer/models/cpp/src/c_src/libc_basic.c	1337
infer/models/cpp/src/c_src/math.c	224
infer/models/cpp/src/c_src/wchar.c	285
infer/models/cpp/src/c_src/wctype.c	35
infer/models/cpp/src/c_src/xlib.c	11
infer/models/cpp/src/shared_ptr.cpp	17
infer/models/cpp/src/throw_wrappers.cpp	26
infer/models/cpp/src/type_info.cpp	18
infer/models/java/builtins/com/facebook/infer/builtins/InferBuiltins.java	17
infer/models/java/builtins/com/facebook/infer/builtins/InferCloseables.java	13
infer/models/java/builtins/com/facebook/infer/builtins/InferTaint.java	11
infer/models/java/builtins/com/facebook/infer/builtins/InferUndefined.java	108
infer/models/java/builtins/com/facebook/infer/builtins/InferUtils.java	19
infer/models/java/src/android/app/Activity.java	29
infer/models/java/src/android/app/AlarmManager.java	6
infer/models/java/src/android/app/DownloadManager.java	15
infer/models/java/src/android/content/ContentProviderClient.java	36
infer/models/java/src/android/content/ContentResolver.java	39
infer/models/java/src/android/content/Context.java	31
infer/models/java/src/android/content/IContentProvider.java	2
infer/models/java/src/android/content/IContentService.java	2
infer/models/java/src/android/content/res/Resources.java	29
infer/models/java/src/android/content/res/TypedArray.java	22
infer/models/java/src/android/database/AbstractCursor.java	2
infer/models/java/src/android/database/CrossProcessCursor.java	2
infer/models/java/src/android/database/CrossProcessCursorWrapper.java	2
infer/models/java/src/android/database/Cursor.java	3
infer/models/java/src/android/database/CursorWrapper.java	14
infer/models/java/src/android/database/sqlite/SQLiteConnectionPool.java	2
infer/models/java/src/android/database/sqlite/SQLiteCursor.java	16
infer/models/java/src/android/database/sqlite/SQLiteDatabase.java	146
infer/models/java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java	2
infer/models/java/src/android/database/sqlite/SQLiteQueryBuilder.java	48
infer/models/java/src/android/provider/MediaStore.java	26
infer/models/java/src/android/text/TextUtils.java	10
infer/models/java/src/android/view/View.java	8
infer/models/java/src/com/facebook/infer/annotation/Assertions.java	33
infer/models/java/src/com/fasterxml/jackson/core/JsonFactory.java	34
infer/models/java/src/com/fasterxml/jackson/core/JsonParser.java	23
infer/models/java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java	95
infer/models/java/src/com/google/common/base/Optional.java	6
infer/models/java/src/com/google/common/base/Preconditions.java	40
infer/models/java/src/com/google/common/collect/ImmutableList.java	16
infer/models/java/src/com/google/common/collect/Iterators.java	24
infer/models/java/src/com/google/common/io/Closeables.java	14
infer/models/java/src/dalvik/system/CloseGuard.java	6
infer/models/java/src/java/io/BufferedInputStream.java	22
infer/models/java/src/java/io/BufferedOutputStream.java	27
infer/models/java/src/java/io/BufferedReader.java	40
infer/models/java/src/java/io/BufferedWriter.java	25
infer/models/java/src/java/io/DataInputStream.java	55
infer/models/java/src/java/io/DataOutputStream.java	52
infer/models/java/src/java/io/File.java	12
infer/models/java/src/java/io/FileInputStream.java	54
infer/models/java/src/java/io/FileOutputStream.java	60
infer/models/java/src/java/io/FilterInputStream.java	22
infer/models/java/src/java/io/FilterOutputStream.java	26
infer/models/java/src/java/io/FilterReader.java	22
infer/models/java/src/java/io/InputStream.java	18
infer/models/java/src/java/io/InputStreamReader.java	25
infer/models/java/src/java/io/ObjectInputStream.java	82
infer/models/java/src/java/io/ObjectOutputStream.java	72
infer/models/java/src/java/io/OutputStream.java	20
infer/models/java/src/java/io/OutputStreamWriter.java	31
infer/models/java/src/java/io/PipedInputStream.java	36
infer/models/java/src/java/io/PipedOutputStream.java	30
infer/models/java/src/java/io/PipedReader.java	42
infer/models/java/src/java/io/PipedWriter.java	50
infer/models/java/src/java/io/PrintWriter.java	48
infer/models/java/src/java/io/PushbackInputStream.java	31
infer/models/java/src/java/io/PushbackReader.java	31
infer/models/java/src/java/io/RandomAccessFile.java	122
infer/models/java/src/java/io/Reader.java	30
infer/models/java/src/java/io/Writer.java	34
infer/models/java/src/java/lang/Class.java	18
infer/models/java/src/java/lang/Double.java	19
infer/models/java/src/java/lang/Integer.java	21
infer/models/java/src/java/lang/NullPointerException.java	5
infer/models/java/src/java/lang/Object.java	12
infer/models/java/src/java/lang/Process.java	15
infer/models/java/src/java/lang/ProcessManager.java	19
infer/models/java/src/java/lang/Runtime.java	24
infer/models/java/src/java/lang/String.java	40
infer/models/java/src/java/lang/System.java	27
infer/models/java/src/java/lang/Thread.java	14
infer/models/java/src/java/lang/reflect/Array.java	28
infer/models/java/src/java/net/HttpURLConnection.java	11
infer/models/java/src/java/net/JarURLConnection.java	6
infer/models/java/src/java/net/PlainSocketImpl.java	121
infer/models/java/src/java/net/ServerSocket.java	10
infer/models/java/src/java/net/Socket.java	26
infer/models/java/src/java/net/URL.java	42
infer/models/java/src/java/net/URLConnection.java	28
infer/models/java/src/java/nio/FileChannelImpl.java	70
infer/models/java/src/java/nio/channels/FileChannel.java	26
infer/models/java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java	10
infer/models/java/src/java/security/DigestInputStream.java	14
infer/models/java/src/java/security/DigestOutputStream.java	19
infer/models/java/src/java/util/AbstractList.java	36
infer/models/java/src/java/util/ArrayList.java	23
infer/models/java/src/java/util/HashMap.java	62
infer/models/java/src/java/util/LinkedList.java	25
infer/models/java/src/java/util/List.java	23
infer/models/java/src/java/util/Properties.java	33
infer/models/java/src/java/util/Scanner.java	42
infer/models/java/src/java/util/Vector.java	26
infer/models/java/src/java/util/concurrent/Lock.java	38
infer/models/java/src/java/util/concurrent/ReentrantLock.java	38
infer/models/java/src/java/util/jar/JarFile.java	27
infer/models/java/src/java/util/jar/JarInputStream.java	15
infer/models/java/src/java/util/jar/JarOutputStream.java	19
infer/models/java/src/java/util/zip/CheckedInputStream.java	17
infer/models/java/src/java/util/zip/CheckedOutputStream.java	19
infer/models/java/src/java/util/zip/Deflater.java	16
infer/models/java/src/java/util/zip/DeflaterInputStream.java	23
infer/models/java/src/java/util/zip/DeflaterOutputStream.java	38
infer/models/java/src/java/util/zip/GZIPInputStream.java	15
infer/models/java/src/java/util/zip/GZIPOutputStream.java	18
infer/models/java/src/java/util/zip/Inflater.java	13
infer/models/java/src/java/util/zip/InflaterInputStream.java	24
infer/models/java/src/java/util/zip/InflaterOutputStream.java	34
infer/models/java/src/java/util/zip/ZipFile.java	41
infer/models/java/src/java/util/zip/ZipInputStream.java	14
infer/models/java/src/java/util/zip/ZipOutputStream.java	11
infer/models/java/src/javax/crypto/CipherInputStream.java	20
infer/models/java/src/javax/crypto/CipherOutputStream.java	28
infer/models/java/src/javax/net/ssl/HttpsURLConnection.java	12
infer/models/java/src/javax/net/ssl/SSLSocketFactory.java	26
infer/models/java/src/junit/framework/Assert.java	16
infer/models/java/src/org/apache/commons/lang3/StringUtils.java	24
infer/models/java/src/org/assertj/core/util/Preconditions.java	20
infer/models/objc/src/CADisplayLink.h	12
infer/models/objc/src/CADisplayLink.m	12
infer/models/objc/src/NSArray.h	4
infer/models/objc/src/NSArray.m	30
infer/models/objc/src/NSAutoreleasePool.m	9
infer/models/objc/src/NSDictionary.h	7
infer/models/objc/src/NSDictionary.m	23
infer/models/objc/src/NSFileHandle.m	26
infer/models/objc/src/NSHTTPCookie.m	11
infer/models/objc/src/NSMapTable.h	4
infer/models/objc/src/NSMapTable.m	8
infer/models/objc/src/NSMutableArray.h	8
infer/models/objc/src/NSMutableArray.m	28
infer/models/objc/src/NSMutableDictionary.h	5
infer/models/objc/src/NSMutableDictionary.m	21
infer/models/objc/src/NSNotificationCenter.m	29
infer/models/objc/src/NSNumber.h	5
infer/models/objc/src/NSNumber.m	65
infer/models/objc/src/NSObject.m	9
infer/models/objc/src/NSRunLoop.h	14
infer/models/objc/src/NSRunLoop.m	27
infer/models/objc/src/NSString.h	13
infer/models/objc/src/NSString.m	72
infer/models/objc/src/NSTimer.h	43
infer/models/objc/src/NSTimer.m	95