search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.79k stars 2k forks source link

Building Infer models error when executing build-infer.sh java #1848

Open geetali13 opened 2 days ago

geetali13 commented 2 days ago

Command: ./build-infer.sh java OS: Linux

[ERROR][961] ERROR 'Building infer models' [ERROR][961] command: ' make INTERACTIVE=1 -C /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models all' [ERROR][961] CWD: '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main' [ERROR][961] stdout: [*ERROR][961] make[2]: Entering directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models' [*ERROR*][961] make INTERACTIVE=1 clean [ERROR][961] make[3]: Entering directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models' [*ERROR][961] make[3]: Leaving directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models' [*ERROR*][961] make INTERACTIVE=1 capture [ERROR][961] make[3]: Entering directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models' [ERROR][961] inner Capturing Java models [ERROR][961] inner command: /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/bin/infer --continue capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --scheduler=file -- javac -bootclasspath /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/lib/java/android/android-23.jar -d java/models -classpath /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/lib/java/android/android-23.jar:/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/dependencies/java/guava/guava-23.0.jar:/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/dependencies/java/jackson/jackson-2.2.3.jar:/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/dependencies/java/jsr-305/jsr305.jar:/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/annotations/annotations.jar /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models/java/builtins/com/facebook/infer/builtins/InferBuiltins.java /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models/java/builtins/com/facebook/infer/builtins/InferCloseables.java /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models/java/builtins/com/facebook/infer/builtins/InferTaint.java /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models/java/builtins/com/facebook/infer/builtins/InferUndefined.java /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models/java/builtins/com/facebook/infer/builtins/InferUtils.java java/builtins/com/facebook/infer/builtins/InferBuiltins.java java/builtins/com/facebook/infer/builtins/InferCloseables.java java/builtins/com/facebook/infer/builtins/InferTaint.java java/builtins/com/facebook/infer/builtins/InferUndefined.java java/builtins/com/facebook/infer/builtins/InferUtils.java java/src/android/app/Activity.java java/src/android/app/AlarmManager.java java/src/android/app/DownloadManager.java java/src/android/content/ContentProviderClient.java java/src/android/content/ContentResolver.java java/src/android/content/Context.java java/src/android/content/IContentProvider.java java/src/android/content/IContentService.java java/src/android/content/res/Resources.java java/src/android/content/res/TypedArray.java java/src/android/database/AbstractCursor.java java/src/android/database/CrossProcessCursor.java java/src/android/database/CrossProcessCursorWrapper.java java/src/android/database/Cursor.java java/src/android/database/CursorWrapper.java java/src/android/database/sqlite/SQLiteConnectionPool.java java/src/android/database/sqlite/SQLiteCursor.java java/src/android/database/sqlite/SQLiteDatabase.java java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java java/src/android/database/sqlite/SQLiteQueryBuilder.java java/src/android/provider/MediaStore.java java/src/android/text/TextUtils.java java/src/android/view/View.java java/src/com/facebook/infer/annotation/Assertions.java java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java java/src/com/fasterxml/jackson/core/JsonFactory.java java/src/com/fasterxml/jackson/core/JsonParser.java java/src/com/google/common/base/Optional.java java/src/com/google/common/base/Preconditions.java java/src/com/google/common/collect/ImmutableList.java java/src/com/google/common/collect/Iterators.java java/src/com/google/common/io/Closeables.java java/src/dalvik/system/CloseGuard.java java/src/java/io/BufferedInputStream.java java/src/java/io/BufferedOutputStream.java java/src/java/io/BufferedReader.java java/src/java/io/BufferedWriter.java java/src/java/io/DataInputStream.java java/src/java/io/DataOutputStream.java java/src/java/io/File.java java/src/java/io/FileInputStream.java java/src/java/io/FileOutputStream.java java/src/java/io/FilterInputStream.java java/src/java/io/FilterOutputStream.java java/src/java/io/FilterReader.java java/src/java/io/InputStream.java java/src/java/io/InputStreamReader.java java/src/java/io/ObjectInputStream.java java/src/java/io/ObjectOutputStream.java java/src/java/io/OutputStream.java java/src/java/io/OutputStreamWriter.java java/src/java/io/PipedInputStream.java java/src/java/io/PipedOutputStream.java java/src/java/io/PipedReader.java java/src/java/io/PipedWriter.java java/src/java/io/PrintWriter.java java/src/java/io/PushbackInputStream.java java/src/java/io/PushbackReader.java java/src/java/io/RandomAccessFile.java java/src/java/io/Reader.java java/src/java/io/Writer.java java/src/java/lang/Class.java java/src/java/lang/Double.java java/src/java/lang/Integer.java java/src/java/lang/NullPointerException.java java/src/java/lang/Object.java java/src/java/lang/Process.java java/src/java/lang/ProcessManager.java java/src/java/lang/reflect/Array.java java/src/java/lang/Runtime.java java/src/java/lang/String.java java/src/java/lang/System.java java/src/java/lang/Thread.java java/src/java/net/HttpURLConnection.java java/src/java/net/JarURLConnection.java java/src/java/net/PlainSocketImpl.java java/src/java/net/ServerSocket.java java/src/java/net/Socket.java java/src/java/net/URL.java java/src/java/net/URLConnection.java java/src/java/nio/channels/FileChannel.java java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java java/src/java/nio/FileChannelImpl.java java/src/java/security/DigestInputStream.java java/src/java/security/DigestOutputStream.java java/src/java/util/AbstractList.java java/src/java/util/ArrayList.java java/src/java/util/concurrent/Lock.java java/src/java/util/concurrent/ReentrantLock.java java/src/java/util/HashMap.java java/src/java/util/jar/JarFile.java java/src/java/util/jar/JarInputStream.java java/src/java/util/jar/JarOutputStream.java java/src/java/util/LinkedList.java java/src/java/util/List.java java/src/java/util/Properties.java java/src/java/util/Scanner.java java/src/java/util/Vector.java java/src/java/util/zip/CheckedInputStream.java java/src/java/util/zip/CheckedOutputStream.java java/src/java/util/zip/Deflater.java java/src/java/util/zip/DeflaterInputStream.java java/src/java/util/zip/DeflaterOutputStream.java java/src/java/util/zip/GZIPInputStream.java java/src/java/util/zip/GZIPOutputStream.java java/src/java/util/zip/Inflater.java java/src/java/util/zip/InflaterInputStream.java java/src/java/util/zip/InflaterOutputStream.java java/src/java/util/zip/ZipFile.java java/src/java/util/zip/ZipInputStream.java java/src/java/util/zip/ZipOutputStream.java java/src/javax/crypto/CipherInputStream.java java/src/javax/crypto/CipherOutputStream.java java/src/javax/net/ssl/HttpsURLConnection.java java/src/javax/net/ssl/SSLSocketFactory.java java/src/junit/framework/Assert.java java/src/org/apache/commons/lang3/StringUtils.java java/src/org/assertj/core/util/Preconditions.java -source 8 -target 8 [ERROR][961] inner CWD: /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models [*ERROR][961] cd java/models; jar cf ../../models.jar [ERROR][961] /usr/bin/install -c -m 644 -C models.jar /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/lib/java/models.jar [*ERROR][961] make[3]: Leaving directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models' [*ERROR*][961] inner Analyzing models [ERROR][961] inner command: /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/bin/infer analyze --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --scheduler=file [ERROR][961] inner CWD: /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models [*ERROR][961] [*ERROR*][961] No issues found [ERROR][961] sqlite3 infer-out/results.db -cmd ".mode insert model_specs" -cmd ".output /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/lib/models.sql" -cmd "select from specs order by proc_uid ;" </dev/null [ERROR][961] make[2]: Leaving directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models' [*ERROR*][961] stderr: [*ERROR][961] Capturing in javac mode... [*ERROR*][961] Found 123 source files to analyze in /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/models/infer-out [ERROR][961] java/builtins/com/facebook/infer/builtins/InferBuiltins.java starting [*ERROR][961] java/builtins/com/facebook/infer/builtins/InferBuiltins.java DONE [*ERROR*][961] java/builtins/com/facebook/infer/builtins/InferCloseables.java starting [ERROR][961] java/builtins/com/facebook/infer/builtins/InferCloseables.java DONE [*ERROR][961] java/builtins/com/facebook/infer/builtins/InferTaint.java starting [*ERROR*][961] java/builtins/com/facebook/infer/builtins/InferTaint.java DONE [ERROR][961] java/builtins/com/facebook/infer/builtins/InferUndefined.java starting [*ERROR][961] java/builtins/com/facebook/infer/builtins/InferUndefined.java DONE [*ERROR*][961] java/builtins/com/facebook/infer/builtins/InferUtils.java starting [ERROR][961] java/builtins/com/facebook/infer/builtins/InferUtils.java DONE [*ERROR][961] java/src/android/app/Activity.java starting [*ERROR*][961] java/src/android/app/Activity.java DONE [ERROR][961] java/src/android/app/AlarmManager.java starting [*ERROR][961] java/src/android/app/AlarmManager.java DONE [*ERROR*][961] java/src/android/app/DownloadManager.java starting [ERROR][961] java/src/android/app/DownloadManager.java DONE [*ERROR][961] java/src/android/content/ContentProviderClient.java starting [*ERROR*][961] java/src/android/content/ContentProviderClient.java DONE [ERROR][961] java/src/android/content/ContentResolver.java starting [*ERROR][961] java/src/android/content/ContentResolver.java DONE [*ERROR*][961] java/src/android/content/Context.java starting [ERROR][961] java/src/android/content/Context.java DONE [*ERROR][961] java/src/android/content/IContentProvider.java starting [*ERROR*][961] java/src/android/content/IContentProvider.java DONE [ERROR][961] java/src/android/content/IContentService.java starting [*ERROR][961] java/src/android/content/IContentService.java DONE [*ERROR*][961] java/src/android/content/res/Resources.java starting [ERROR][961] java/src/android/content/res/Resources.java DONE [*ERROR][961] java/src/android/content/res/TypedArray.java starting [*ERROR*][961] java/src/android/content/res/TypedArray.java DONE [ERROR][961] java/src/android/database/AbstractCursor.java starting [*ERROR][961] java/src/android/database/AbstractCursor.java DONE [*ERROR*][961] java/src/android/database/CrossProcessCursor.java starting [ERROR][961] java/src/android/database/CrossProcessCursor.java DONE [*ERROR][961] java/src/android/database/CrossProcessCursorWrapper.java starting [*ERROR*][961] java/src/android/database/CrossProcessCursorWrapper.java DONE [ERROR][961] java/src/android/database/Cursor.java starting [*ERROR][961] java/src/android/database/Cursor.java DONE [*ERROR*][961] java/src/android/database/CursorWrapper.java starting [ERROR][961] java/src/android/database/CursorWrapper.java DONE [*ERROR][961] java/src/android/database/sqlite/SQLiteConnectionPool.java starting [*ERROR*][961] java/src/android/database/sqlite/SQLiteConnectionPool.java DONE [ERROR][961] java/src/android/database/sqlite/SQLiteCursor.java starting [*ERROR][961] java/src/android/database/sqlite/SQLiteCursor.java DONE [*ERROR*][961] java/src/android/database/sqlite/SQLiteDatabase.java starting [ERROR][961] java/src/android/database/sqlite/SQLiteDatabase.java DONE [*ERROR][961] java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java starting [*ERROR*][961] java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java DONE [ERROR][961] java/src/android/database/sqlite/SQLiteQueryBuilder.java starting [*ERROR][961] java/src/android/database/sqlite/SQLiteQueryBuilder.java DONE [*ERROR*][961] java/src/android/provider/MediaStore.java starting [ERROR][961] java/src/android/provider/MediaStore.java DONE [*ERROR][961] java/src/android/text/TextUtils.java starting [*ERROR*][961] java/src/android/text/TextUtils.java DONE [ERROR][961] java/src/android/view/View.java starting [*ERROR][961] java/src/android/view/View.java DONE [*ERROR*][961] java/src/com/facebook/infer/annotation/Assertions.java starting [ERROR][961] java/src/com/facebook/infer/annotation/Assertions.java DONE [*ERROR][961] java/src/com/fasterxml/jackson/core/JsonFactory.java starting [*ERROR*][961] java/src/com/fasterxml/jackson/core/JsonFactory.java DONE [ERROR][961] java/src/com/fasterxml/jackson/core/JsonParser.java starting [*ERROR][961] java/src/com/fasterxml/jackson/core/JsonParser.java DONE [*ERROR*][961] java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java starting [ERROR][961] java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java DONE [*ERROR][961] java/src/com/google/common/base/Optional.java starting [*ERROR*][961] java/src/com/google/common/base/Optional.java DONE [ERROR][961] java/src/com/google/common/base/Preconditions.java starting [*ERROR][961] java/src/com/google/common/base/Preconditions.java DONE [*ERROR*][961] java/src/com/google/common/collect/ImmutableList.java starting [ERROR][961] java/src/com/google/common/collect/ImmutableList.java DONE [*ERROR][961] java/src/com/google/common/collect/Iterators.java starting [*ERROR*][961] java/src/com/google/common/collect/Iterators.java DONE [ERROR][961] java/src/com/google/common/io/Closeables.java starting [*ERROR][961] java/src/com/google/common/io/Closeables.java DONE [*ERROR*][961] java/src/dalvik/system/CloseGuard.java starting [ERROR][961] java/src/dalvik/system/CloseGuard.java DONE [*ERROR][961] java/src/java/io/BufferedInputStream.java starting [*ERROR*][961] java/src/java/io/BufferedInputStream.java DONE [ERROR][961] java/src/java/io/BufferedOutputStream.java starting [*ERROR][961] java/src/java/io/BufferedOutputStream.java DONE [*ERROR*][961] java/src/java/io/BufferedReader.java starting [ERROR][961] java/src/java/io/BufferedReader.java DONE [*ERROR][961] java/src/java/io/BufferedWriter.java starting [*ERROR*][961] java/src/java/io/BufferedWriter.java DONE [ERROR][961] java/src/java/io/DataInputStream.java starting [*ERROR][961] java/src/java/io/DataInputStream.java DONE [*ERROR*][961] java/src/java/io/DataOutputStream.java starting [ERROR][961] java/src/java/io/DataOutputStream.java DONE [*ERROR][961] java/src/java/io/File.java starting [*ERROR*][961] java/src/java/io/File.java DONE [ERROR][961] java/src/java/io/FileInputStream.java starting [*ERROR][961] java/src/java/io/FileInputStream.java DONE [*ERROR*][961] java/src/java/io/FileOutputStream.java starting [ERROR][961] java/src/java/io/FileOutputStream.java DONE [*ERROR][961] java/src/java/io/FilterInputStream.java starting [*ERROR*][961] java/src/java/io/FilterInputStream.java DONE [ERROR][961] java/src/java/io/FilterOutputStream.java starting [*ERROR][961] java/src/java/io/FilterOutputStream.java DONE [*ERROR*][961] java/src/java/io/FilterReader.java starting [ERROR][961] java/src/java/io/FilterReader.java DONE [*ERROR][961] java/src/java/io/InputStream.java starting [*ERROR*][961] java/src/java/io/InputStream.java DONE [ERROR][961] java/src/java/io/InputStreamReader.java starting [*ERROR][961] java/src/java/io/InputStreamReader.java DONE [*ERROR*][961] java/src/java/io/ObjectInputStream.java starting [ERROR][961] java/src/java/io/ObjectInputStream.java DONE [*ERROR][961] java/src/java/io/ObjectOutputStream.java starting [*ERROR*][961] java/src/java/io/ObjectOutputStream.java DONE [ERROR][961] java/src/java/io/OutputStream.java starting [*ERROR][961] java/src/java/io/OutputStream.java DONE [*ERROR*][961] java/src/java/io/OutputStreamWriter.java starting [ERROR][961] java/src/java/io/OutputStreamWriter.java DONE [*ERROR][961] java/src/java/io/PipedInputStream.java starting [*ERROR*][961] java/src/java/io/PipedInputStream.java DONE [ERROR][961] java/src/java/io/PipedOutputStream.java starting [*ERROR][961] java/src/java/io/PipedOutputStream.java DONE [*ERROR*][961] java/src/java/io/PipedReader.java starting [ERROR][961] java/src/java/io/PipedReader.java DONE [*ERROR][961] java/src/java/io/PipedWriter.java starting [*ERROR*][961] java/src/java/io/PipedWriter.java DONE [ERROR][961] java/src/java/io/PrintWriter.java starting [*ERROR][961] java/src/java/io/PrintWriter.java DONE [*ERROR*][961] java/src/java/io/PushbackInputStream.java starting [ERROR][961] java/src/java/io/PushbackInputStream.java DONE [*ERROR][961] java/src/java/io/PushbackReader.java starting [*ERROR*][961] java/src/java/io/PushbackReader.java DONE [ERROR][961] java/src/java/io/RandomAccessFile.java starting [*ERROR][961] java/src/java/io/RandomAccessFile.java DONE [*ERROR*][961] java/src/java/io/Reader.java starting [ERROR][961] java/src/java/io/Reader.java DONE [*ERROR][961] java/src/java/io/Writer.java starting [*ERROR*][961] java/src/java/io/Writer.java DONE [ERROR][961] java/src/java/lang/Class.java starting [*ERROR][961] java/src/java/lang/Class.java DONE [*ERROR*][961] java/src/java/lang/Double.java starting [ERROR][961] java/src/java/lang/Double.java DONE [*ERROR][961] java/src/java/lang/Integer.java starting [*ERROR*][961] java/src/java/lang/Integer.java DONE [ERROR][961] java/src/java/lang/NullPointerException.java starting [*ERROR][961] java/src/java/lang/NullPointerException.java DONE [*ERROR*][961] java/src/java/lang/Object.java starting [ERROR][961] java/src/java/lang/Object.java DONE [*ERROR][961] java/src/java/lang/Process.java starting [*ERROR*][961] java/src/java/lang/Process.java DONE [ERROR][961] java/src/java/lang/ProcessManager.java starting [*ERROR][961] java/src/java/lang/ProcessManager.java DONE [*ERROR*][961] java/src/java/lang/Runtime.java starting [ERROR][961] java/src/java/lang/Runtime.java DONE [*ERROR][961] java/src/java/lang/String.java starting [*ERROR*][961] java/src/java/lang/String.java DONE [ERROR][961] java/src/java/lang/System.java starting [*ERROR][961] java/src/java/lang/System.java DONE [*ERROR*][961] java/src/java/lang/Thread.java starting [ERROR][961] java/src/java/lang/Thread.java DONE [*ERROR][961] java/src/java/lang/reflect/Array.java starting [*ERROR*][961] java/src/java/lang/reflect/Array.java DONE [ERROR][961] java/src/java/net/HttpURLConnection.java starting [*ERROR][961] java/src/java/net/HttpURLConnection.java DONE [*ERROR*][961] java/src/java/net/JarURLConnection.java starting [ERROR][961] java/src/java/net/JarURLConnection.java DONE [*ERROR][961] java/src/java/net/PlainSocketImpl.java starting [*ERROR*][961] java/src/java/net/PlainSocketImpl.java DONE [ERROR][961] java/src/java/net/ServerSocket.java starting [*ERROR][961] java/src/java/net/ServerSocket.java DONE [*ERROR*][961] java/src/java/net/Socket.java starting [ERROR][961] java/src/java/net/Socket.java DONE [*ERROR][961] java/src/java/net/URL.java starting [*ERROR*][961] java/src/java/net/URL.java DONE [ERROR][961] java/src/java/net/URLConnection.java starting [*ERROR][961] java/src/java/net/URLConnection.java DONE [*ERROR*][961] java/src/java/nio/FileChannelImpl.java starting [ERROR][961] java/src/java/nio/FileChannelImpl.java DONE [*ERROR][961] java/src/java/nio/channels/FileChannel.java starting [*ERROR*][961] java/src/java/nio/channels/FileChannel.java DONE [ERROR][961] java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java starting [*ERROR][961] java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java DONE [*ERROR*][961] java/src/java/security/DigestInputStream.java starting [ERROR][961] java/src/java/security/DigestInputStream.java DONE [*ERROR][961] java/src/java/security/DigestOutputStream.java starting [*ERROR*][961] java/src/java/security/DigestOutputStream.java DONE [ERROR][961] java/src/java/util/AbstractList.java starting [*ERROR][961] java/src/java/util/AbstractList.java DONE [*ERROR*][961] java/src/java/util/ArrayList.java starting [ERROR][961] java/src/java/util/ArrayList.java DONE [*ERROR][961] java/src/java/util/HashMap.java starting [*ERROR*][961] java/src/java/util/HashMap.java DONE [ERROR][961] java/src/java/util/LinkedList.java starting [*ERROR][961] java/src/java/util/LinkedList.java DONE [*ERROR*][961] java/src/java/util/List.java starting [ERROR][961] java/src/java/util/List.java DONE [*ERROR][961] java/src/java/util/Properties.java starting [*ERROR*][961] java/src/java/util/Properties.java DONE [ERROR][961] java/src/java/util/Scanner.java starting [*ERROR][961] java/src/java/util/Scanner.java DONE [*ERROR*][961] java/src/java/util/Vector.java starting [ERROR][961] java/src/java/util/Vector.java DONE [*ERROR][961] java/src/java/util/concurrent/Lock.java starting [*ERROR*][961] java/src/java/util/concurrent/Lock.java DONE [ERROR][961] java/src/java/util/concurrent/ReentrantLock.java starting [*ERROR][961] java/src/java/util/concurrent/ReentrantLock.java DONE [*ERROR*][961] java/src/java/util/jar/JarFile.java starting [ERROR][961] java/src/java/util/jar/JarFile.java DONE [*ERROR][961] java/src/java/util/jar/JarInputStream.java starting [*ERROR*][961] java/src/java/util/jar/JarInputStream.java DONE [ERROR][961] java/src/java/util/jar/JarOutputStream.java starting [*ERROR][961] java/src/java/util/jar/JarOutputStream.java DONE [*ERROR*][961] java/src/java/util/zip/CheckedInputStream.java starting [ERROR][961] java/src/java/util/zip/CheckedInputStream.java DONE [*ERROR][961] java/src/java/util/zip/CheckedOutputStream.java starting [*ERROR*][961] java/src/java/util/zip/CheckedOutputStream.java DONE [ERROR][961] java/src/java/util/zip/Deflater.java starting [*ERROR][961] java/src/java/util/zip/Deflater.java DONE [*ERROR*][961] java/src/java/util/zip/DeflaterInputStream.java starting [ERROR][961] java/src/java/util/zip/DeflaterInputStream.java DONE [*ERROR][961] java/src/java/util/zip/DeflaterOutputStream.java starting [*ERROR*][961] java/src/java/util/zip/DeflaterOutputStream.java DONE [ERROR][961] java/src/java/util/zip/GZIPInputStream.java starting [*ERROR][961] java/src/java/util/zip/GZIPInputStream.java DONE [*ERROR*][961] java/src/java/util/zip/GZIPOutputStream.java starting [ERROR][961] java/src/java/util/zip/GZIPOutputStream.java DONE [*ERROR][961] java/src/java/util/zip/Inflater.java starting [*ERROR*][961] java/src/java/util/zip/Inflater.java DONE [ERROR][961] java/src/java/util/zip/InflaterInputStream.java starting [*ERROR][961] java/src/java/util/zip/InflaterInputStream.java DONE [*ERROR*][961] java/src/java/util/zip/InflaterOutputStream.java starting [ERROR][961] java/src/java/util/zip/InflaterOutputStream.java DONE [*ERROR][961] java/src/java/util/zip/ZipFile.java starting [*ERROR*][961] java/src/java/util/zip/ZipFile.java DONE [ERROR][961] java/src/java/util/zip/ZipInputStream.java starting [*ERROR][961] java/src/java/util/zip/ZipInputStream.java DONE [*ERROR*][961] java/src/java/util/zip/ZipOutputStream.java starting [ERROR][961] java/src/java/util/zip/ZipOutputStream.java DONE [*ERROR][961] java/src/javax/crypto/CipherInputStream.java starting [*ERROR*][961] java/src/javax/crypto/CipherInputStream.java DONE [ERROR][961] java/src/javax/crypto/CipherOutputStream.java starting [*ERROR][961] java/src/javax/crypto/CipherOutputStream.java DONE [*ERROR*][961] java/src/javax/net/ssl/HttpsURLConnection.java starting [ERROR][961] java/src/javax/net/ssl/HttpsURLConnection.java DONE [*ERROR][961] java/src/javax/net/ssl/SSLSocketFactory.java starting [*ERROR*][961] java/src/javax/net/ssl/SSLSocketFactory.java DONE [ERROR][961] java/src/junit/framework/Assert.java starting [*ERROR][961] java/src/junit/framework/Assert.java DONE [*ERROR*][961] java/src/org/apache/commons/lang3/StringUtils.java starting [ERROR][961] java/src/org/apache/commons/lang3/StringUtils.java DONE [*ERROR][961] java/src/org/assertj/core/util/Preconditions.java starting [*ERROR*][961] java/src/org/assertj/core/util/Preconditions.java DONE [ERROR][961] bash: line 1: sqlite3: command not found [ERROR][961] make[2]: [Makefile:73: /mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main/infer/lib/models.sql] Error 127 make[1]: [Makefile:482: infer_models] Error 2 make[1]: Leaving directory '/mnt/c/Users/2765779/Desktop/Workspace/tools/infer-main' make: [Makefile:494: opt] Error 2

compilation failure; you can try running

make clean
'./build-infer.sh' java

Please Help

geralt-encore commented 1 day ago

Do you have sqlite3 installed? It is one of the Infer's required dependencies. See: https://github.com/facebook/infer/blob/main/docker/master/Dockerfile#L22