-
Notifications
You must be signed in to change notification settings - Fork 3
/
hs_err_pid849.log
427 lines (386 loc) · 31 KB
/
hs_err_pid849.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x0000000126469810, pid=849, tid=4867
#
# JRE version: Java(TM) SE Runtime Environment (8.0_25-b17) (build 1.8.0_25-b17)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (25.25-b02 mixed mode bsd-amd64 compressed oops)
# Problematic frame:
# C [libz3.dylib+0x85e810] array_decl_plugin::mk_sort(int, unsigned int, parameter const*)+0x50
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# If you would like to submit a bug report, please visit:
# http://bugreport.sun.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#
--------------- T H R E A D ---------------
Current thread (0x00007fd863805800): JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010911d000,0x000000010921d000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x000000010921b970, RBP=0x00007fff75043070, RSI=0x0000000000000000, RDI=0x00007fd8635551b8
R8 =0x000000010921bba0, R9 =0x000000010921d000, R10=0x0000000000000008, R11=0x0000000000000246
R12=0x000000010921bba0, R13=0x00000001223fff01, R14=0x0000000000000002, R15=0x00007fd8635551b8
RIP=0x0000000126469810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x000000010921b970)
0x000000010921b970: 000000010921b9d8 0001206864069e00
0x000000010921b980: 0004c2000004c200 0000000000000005
0x000000010921b990: 0000000000000005 000000010921b9d8
0x000000010921b9a0: 000000010921ba10 00007fff8fce6e68
0x000000010921b9b0: 0000000000000005 0000000000000000
0x000000010921b9c0: 000000010921ba3c 000000010921ba40
0x000000010921b9d0: 000000010921ba44 00007fff750472a8
0x000000010921b9e0: ffffffffffffffff 0001206800000040
0x000000010921b9f0: 00007fff750472c0 00007fff750472a8
0x000000010921ba00: 00007fd86354eba0 00000000ffffffff
0x000000010921ba10: 0000000000000000 000000010921ba98
0x000000010921ba20: 000000010921ba60 00007fff8fce6be2
0x000000010921ba30: 000000010921ba60 00012068922954c7
0x000000010921ba40: 0004c3000004c300 00007fff75048070
0x000000010921ba50: 0000000000000000 000000010921ba98
0x000000010921ba60: 000000010921ba80 00007fff92295420
0x000000010921ba70: 0000000000000003 00007fd86354ec28
0x000000010921ba80: 0000000000000000 0000000125c408d2
0x000000010921ba90: 3436386466003633 00007fd864069e00
0x000000010921baa0: 0000003000000020 00007fff72ad78f0
0x000000010921bab0: e300f3931137f214 00007fd86354eb98
0x000000010921bac0: 00000000000001a0 00000001267a4d5c
0x000000010921bad0: 00007fd86354eba0 00007fd86354eb98
0x000000010921bae0: 00007fd86354ed38 0000000125c18694
0x000000010921baf0: 0000000000000000 00007fff72ad7c70
0x000000010921bb00: 0000000000000001 00007fd86354eb98
0x000000010921bb10: 000000010921bb40 00007fd86406be08
0x000000010921bb20: e300f3931137f214 00007fd86354eb98
0x000000010921bb30: 0000000000000000 00000001223fff01
0x000000010921bb40: 0000000000000000 00007fd86354eb98
0x000000010921bb50: 000000010921bb80 0000000000000000
0x000000010921bb60: 0000000000000000 00000001223fff01
Instructions: (pc=0x0000000126469810)
0x00000001264697f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x0000000126469800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x0000000126469810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x0000000126469820: 83 c0 28 44 39 f1 72 d8 41 8d 46 ff 48 89 44 24
Register to memory mapping:
RAX=0x0000000000000008 is an unknown value
RBX=0x0000000000000000 is an unknown value
RCX=0x0000000000000000 is an unknown value
RDX=0x0000000000000000 is an unknown value
RSP=0x000000010921b970 is pointing into the stack for thread: 0x00007fd863805800
RBP=0x00007fff75043070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff92259000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007fd8635551b8 is an unknown value
R8 =0x000000010921bba0 is pointing into the stack for thread: 0x00007fd863805800
R9 =0x000000010921d000 is pointing into the stack for thread: 0x00007fd863805800
R10=0x0000000000000008 is an unknown value
R11=0x0000000000000246 is an unknown value
R12=0x000000010921bba0 is pointing into the stack for thread: 0x00007fd863805800
R13=0x00000001223fff01 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007fd8635551b8 is an unknown value
Stack: [0x000000010911d000,0x000000010921d000], sp=0x000000010921b970, free space=1018k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C [libz3.dylib+0x85e810] array_decl_plugin::mk_sort(int, unsigned int, parameter const*)+0x50
Java frames: (J=compiled Java code, j=interpreted, Vv=VM code)
j com.microsoft.z3.Native.INTERNALmkSetSort(JJ)J+0
j com.microsoft.z3.Native.mkSetSort(JJ)J+2
j com.microsoft.z3.SetSort.<init>(Lcom/microsoft/z3/Context;Lcom/microsoft/z3/Sort;)V+10
j com.microsoft.z3.Context.MkSetSort(Lcom/microsoft/z3/Sort;)Lcom/microsoft/z3/SetSort;+11
j evaluation.courseware.courseware.initializeState(Lcom/microsoft/z3/Context;)V+265
v ~StubRoutines::call_stub
j sun.reflect.NativeMethodAccessorImpl.invoke0(Ljava/lang/reflect/Method;Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+0
j sun.reflect.NativeMethodAccessorImpl.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+100
j sun.reflect.DelegatingMethodAccessorImpl.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+6
j java.lang.reflect.Method.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+56
j analyzer.Stability.LoadApplication(Ljava/lang/Class;Lcom/microsoft/z3/Context;Ljava/lang/Object;)V+28
j analyzer.Stability.main([Ljava/lang/String;)V+158
v ~StubRoutines::call_stub
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007fd864025800 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x00000001259db000,0x0000000125adb000)]
0x00007fd864021000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x00000001258d8000,0x00000001259d8000)]
0x00007fd864020000 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x00000001257d5000,0x00000001258d5000)]
0x00007fd86401e800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x00000001256d2000,0x00000001257d2000)]
0x00007fd86401d000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=12559, stack(0x00000001255cf000,0x00000001256cf000)]
0x00007fd86401a000 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x0000000123c98000,0x0000000123d98000)]
0x00007fd864019800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x0000000123b95000,0x0000000123c95000)]
=>0x00007fd863805800 JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010911d000,0x000000010921d000)]
Other Threads:
0x00007fd864016800 VMThread [stack: 0x0000000123a92000,0x0000000123b92000] [id=10499]
0x00007fd86401e000 WatcherThread [stack: 0x0000000125ade000,0x0000000125bde000] [id=18691]
VM state:not at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: None
Heap:
PSYoungGen total 76288K, used 5251K [0x000000076ab00000, 0x0000000770000000, 0x00000007c0000000)
eden space 65536K, 8% used [0x000000076ab00000,0x000000076b020c60,0x000000076eb00000)
from space 10752K, 0% used [0x000000076f580000,0x000000076f580000,0x0000000770000000)
to space 10752K, 0% used [0x000000076eb00000,0x000000076eb00000,0x000000076f580000)
ParOldGen total 175104K, used 0K [0x00000006c0000000, 0x00000006cab00000, 0x000000076ab00000)
object space 175104K, 0% used [0x00000006c0000000,0x00000006c0000000,0x00000006cab00000)
Metaspace used 3460K, capacity 5102K, committed 5376K, reserved 1056768K
class space used 375K, capacity 482K, committed 512K, reserved 1048576K
Card table byte_map: [0x0000000118613000,0x0000000118e14000] byte_map_base: 0x0000000115013000
Marking Bits: (ParMarkBitMap*) 0x0000000108a9d390
Begin Bits: [0x0000000119776000, 0x000000011d776000)
End Bits: [0x000000011d776000, 0x0000000121776000)
Polling page: 0x00000001079de000
CodeCache: size=245760Kb used=1300Kb max_used=1312Kb free=244459Kb
bounds [0x0000000109253000, 0x00000001094c3000, 0x0000000118253000]
total_blobs=402 nmethods=124 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.134 Thread 0x00007fd864021000 nmethod 120 0x00000001093986d0 code [0x0000000109398840, 0x0000000109398a78]
Event: 0.134 Thread 0x00007fd864021000 121 3 java.lang.CharacterDataLatin1::toUpperCase (53 bytes)
Event: 0.134 Thread 0x00007fd864021000 nmethod 121 0x0000000109398110 code [0x0000000109398280, 0x0000000109398550]
Event: 0.134 Thread 0x00007fd864021000 122 1 sun.misc.URLClassPath$JarLoader::access$500 (5 bytes)
Event: 0.134 Thread 0x00007fd86401e800 123 4 java.lang.String::hashCode (55 bytes)
Event: 0.134 Thread 0x00007fd864021000 nmethod 122 0x0000000109397e50 code [0x0000000109397fa0, 0x0000000109398090]
Event: 0.134 Thread 0x00007fd864020000 nmethod 118 0x0000000109396510 code [0x0000000109396660, 0x0000000109396818]
Event: 0.135 Thread 0x00007fd864021000 124 3 java.lang.ref.Reference::<init> (25 bytes)
Event: 0.135 Thread 0x00007fd864021000 nmethod 124 0x00000001093979d0 code [0x0000000109397b40, 0x0000000109397d90]
Event: 0.136 Thread 0x00007fd86401e800 nmethod 123 0x0000000109399490 code [0x00000001093995e0, 0x0000000109399758]
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.130 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af77d68) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.131 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af7b510) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.131 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af7e4a0) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.131 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af81c50) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.132 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af853f0) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.132 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af88c80) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.133 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af8ba00) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.133 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af8fc28) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.134 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af94010) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.136 Thread 0x00007fd863805800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af98e08) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Events (10 events):
Event: 0.133 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.133 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.133 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.133 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.134 loading class com/microsoft/z3/Expr$1
Event: 0.134 loading class com/microsoft/z3/Expr$1 done
Event: 0.134 loading class java/lang/NoSuchFieldError
Event: 0.134 loading class java/lang/NoSuchFieldError done
Event: 0.136 loading class com/microsoft/z3/Native$LongPtr
Event: 0.136 loading class com/microsoft/z3/Native$LongPtr done
Dynamic libraries:
0x0000000002ad3000 /System/Library/Frameworks/Cocoa.framework/Versions/A/Cocoa
0x0000000002ad3000 /System/Library/Frameworks/Security.framework/Versions/A/Security
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices
0x0000000002ad3000 /usr/lib/libz.1.dylib
0x0000000002ad3000 /usr/lib/libSystem.B.dylib
0x0000000002ad3000 /usr/lib/libobjc.A.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation
0x0000000002ad3000 /System/Library/Frameworks/Foundation.framework/Versions/C/Foundation
0x0000000002ad3000 /System/Library/Frameworks/AppKit.framework/Versions/C/AppKit
0x0000000002ad3000 /System/Library/Frameworks/CoreData.framework/Versions/A/CoreData
0x0000000002ad3000 /System/Library/PrivateFrameworks/RemoteViewServices.framework/Versions/A/RemoteViewServices
0x0000000002ad3000 /System/Library/PrivateFrameworks/UIFoundation.framework/Versions/A/UIFoundation
0x0000000002ad3000 /System/Library/Frameworks/IOSurface.framework/Versions/A/IOSurface
0x0000000002ad3000 /System/Library/Frameworks/AudioToolbox.framework/Versions/A/AudioToolbox
0x0000000002ad3000 /System/Library/Frameworks/AudioUnit.framework/Versions/A/AudioUnit
0x0000000002ad3000 /System/Library/PrivateFrameworks/DataDetectorsCore.framework/Versions/A/DataDetectorsCore
0x0000000002ad3000 /System/Library/PrivateFrameworks/DesktopServicesPriv.framework/Versions/A/DesktopServicesPriv
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/HIToolbox.framework/Versions/A/HIToolbox
0x0000000002ad3000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/QuartzCore
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SpeechRecognition.framework/Versions/A/SpeechRecognition
0x0000000002ad3000 /usr/lib/libauto.dylib
0x0000000002ad3000 /usr/lib/libicucore.A.dylib
0x0000000002ad3000 /usr/lib/libxml2.2.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/CoreUI.framework/Versions/A/CoreUI
0x0000000002ad3000 /System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio
0x0000000002ad3000 /System/Library/Frameworks/DiskArbitration.framework/Versions/A/DiskArbitration
0x0000000002ad3000 /usr/lib/liblangid.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/MultitouchSupport.framework/Versions/A/MultitouchSupport
0x0000000002ad3000 /System/Library/Frameworks/IOKit.framework/Versions/A/IOKit
0x0000000002ad3000 /usr/lib/libDiagnosticMessagesClient.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/CoreServices
0x0000000002ad3000 /System/Library/PrivateFrameworks/PerformanceAnalysis.framework/Versions/A/PerformanceAnalysis
0x0000000002ad3000 /System/Library/PrivateFrameworks/GenerationalStorage.framework/Versions/A/GenerationalStorage
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/OpenGL
0x0000000002ad3000 /System/Library/PrivateFrameworks/Sharing.framework/Versions/A/Sharing
0x0000000002ad3000 /System/Library/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics
0x0000000002ad3000 /System/Library/Frameworks/CoreText.framework/Versions/A/CoreText
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/ImageIO
0x0000000002ad3000 /usr/lib/libextension.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/Backup.framework/Versions/A/Backup
0x0000000002ad3000 /usr/lib/libarchive.2.dylib
0x0000000002ad3000 /System/Library/Frameworks/CFNetwork.framework/Versions/A/CFNetwork
0x0000000002ad3000 /System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration
0x0000000002ad3000 /usr/lib/libCRFSuite.dylib
0x0000000002ad3000 /usr/lib/libc++.1.dylib
0x0000000002ad3000 /usr/lib/libc++abi.dylib
0x0000000002ad3000 /usr/lib/system/libcache.dylib
0x0000000002ad3000 /usr/lib/system/libcommonCrypto.dylib
0x0000000002ad3000 /usr/lib/system/libcompiler_rt.dylib
0x0000000002ad3000 /usr/lib/system/libcopyfile.dylib
0x0000000002ad3000 /usr/lib/system/libcorecrypto.dylib
0x0000000002ad3000 /usr/lib/system/libdispatch.dylib
0x0000000002ad3000 /usr/lib/system/libdyld.dylib
0x0000000002ad3000 /usr/lib/system/libkeymgr.dylib
0x0000000002ad3000 /usr/lib/system/liblaunch.dylib
0x0000000002ad3000 /usr/lib/system/libmacho.dylib
0x0000000002ad3000 /usr/lib/system/libquarantine.dylib
0x0000000002ad3000 /usr/lib/system/libremovefile.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_asl.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_blocks.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_c.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_configuration.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_coreservices.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_coretls.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_dnssd.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_info.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_kernel.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_m.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_malloc.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_network.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_networkextension.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_notify.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_platform.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_pthread.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_sandbox.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_secinit.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_stats.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_trace.dylib
0x0000000002ad3000 /usr/lib/system/libunc.dylib
0x0000000002ad3000 /usr/lib/system/libunwind.dylib
0x0000000002ad3000 /usr/lib/system/libxpc.dylib
0x0000000002ad3000 /usr/lib/libbz2.1.0.dylib
0x0000000002ad3000 /usr/lib/liblzma.5.dylib
0x0000000002ad3000 /usr/lib/libbsm.0.dylib
0x0000000002ad3000 /usr/lib/libsqlite3.dylib
0x0000000002ad3000 /usr/lib/system/libkxld.dylib
0x0000000002ad3000 /usr/lib/libxar.1.dylib
0x0000000002ad3000 /usr/lib/libpam.2.dylib
0x0000000002ad3000 /usr/lib/libOpenScriptingUtil.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/FSEvents.framework/Versions/A/FSEvents
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CarbonCore.framework/Versions/A/CarbonCore
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/Metadata.framework/Versions/A/Metadata
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/OSServices.framework/Versions/A/OSServices
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/SearchKit.framework/Versions/A/SearchKit
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/AE.framework/Versions/A/AE
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/LaunchServices.framework/Versions/A/LaunchServices
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/DictionaryServices.framework/Versions/A/DictionaryServices
0x0000000002ad3000 /System/Library/Frameworks/NetFS.framework/Versions/A/NetFS
0x0000000002ad3000 /System/Library/PrivateFrameworks/NetAuth.framework/Versions/A/NetAuth
0x0000000002ad3000 /System/Library/PrivateFrameworks/login.framework/Versions/A/Frameworks/loginsupport.framework/Versions/A/loginsupport
0x0000000002ad3000 /System/Library/PrivateFrameworks/TCC.framework/Versions/A/TCC
0x0000000002ad3000 /usr/lib/libmecabra.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/LanguageModeling.framework/Versions/A/LanguageModeling
0x0000000002ad3000 /usr/lib/libcmph.dylib
0x0000000002ad3000 /usr/lib/libiconv.2.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/Frameworks/CFOpenDirectory.framework/Versions/A/CFOpenDirectory
0x0000000002ad3000 /System/Library/Frameworks/ServiceManagement.framework/Versions/A/ServiceManagement
0x0000000002ad3000 /usr/lib/libxslt.1.dylib
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Ink.framework/Versions/A/Ink
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/ATS
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ColorSync.framework/Versions/A/ColorSync
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/HIServices.framework/Versions/A/HIServices
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/LangAnalysis.framework/Versions/A/LangAnalysis
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/PrintCore.framework/Versions/A/PrintCore
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/QD.framework/Versions/A/QD
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/SpeechSynthesis.framework/Versions/A/SpeechSynthesis
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Accelerate
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vImage.framework/Versions/A/vImage
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/vecLib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvDSP.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvMisc.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLAPACK.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libBLAS.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLinearAlgebra.dylib
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontParser.dylib
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontRegistry.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/AppleVPA.framework/Versions/A/AppleVPA
0x0000000002ad3000 /System/Library/PrivateFrameworks/AppleJPEG.framework/Versions/A/AppleJPEG
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libTIFF.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libPng.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libGIF.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJP2.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libRadiance.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreVideo.framework/Versions/A/CoreVideo
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLU.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGFXShared.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGL.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLImage.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCVMSPluginSupport.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCoreVMClient.dylib
0x0000000002ad3000 /usr/lib/libcups.2.dylib
0x0000000002ad3000 /System/Library/Frameworks/Kerberos.framework/Versions/A/Kerberos
0x0000000002ad3000 /System/Library/Frameworks/GSS.framework/Versions/A/GSS
0x0000000002ad3000 /usr/lib/libresolv.9.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/Heimdal.framework/Versions/A/Heimdal
0x0000000002ad3000 /usr/lib/libheimdal-asn1.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/OpenDirectory
0x0000000002ad3000 /System/Library/PrivateFrameworks/CommonAuth.framework/Versions/A/CommonAuth
0x0000000002ad3000 /System/Library/Frameworks/SecurityFoundation.framework/Versions/A/SecurityFoundation
0x0000000002ad3000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/Frameworks/CoreImage.framework/Versions/A/CoreImage
0x0000000002ad3000 /System/Library/PrivateFrameworks/CrashReporterSupport.framework/Versions/A/CrashReporterSupport
0x0000000002ad3000 /System/Library/Frameworks/OpenCL.framework/Versions/A/OpenCL
0x0000000002ad3000 /System/Library/PrivateFrameworks/FaceCore.framework/Versions/A/FaceCore
0x0000000002ad3000 /System/Library/PrivateFrameworks/Ubiquity.framework/Versions/A/Ubiquity
0x0000000002ad3000 /System/Library/PrivateFrameworks/IconServices.framework/Versions/A/IconServices
0x0000000002ad3000 /System/Library/PrivateFrameworks/ChunkingLibrary.framework/Versions/A/ChunkingLibrary
0x0000000002ad3000 /System/Library/PrivateFrameworks/Apple80211.framework/Versions/A/Apple80211
0x0000000002ad3000 /System/Library/Frameworks/CoreWLAN.framework/Versions/A/CoreWLAN
0x0000000002ad3000 /System/Library/Frameworks/IOBluetooth.framework/Versions/A/IOBluetooth
0x0000000002ad3000 /System/Library/PrivateFrameworks/CoreWiFi.framework/Versions/A/CoreWiFi
0x0000000002ad3000 /System/Library/Frameworks/CoreBluetooth.framework/Versions/A/CoreBluetooth
0x0000000002ad3000 /System/Library/PrivateFrameworks/DebugSymbols.framework/Versions/A/DebugSymbols
0x0000000002ad3000 /System/Library/PrivateFrameworks/CoreSymbolication.framework/Versions/A/CoreSymbolication
0x0000000002ad3000 /System/Library/PrivateFrameworks/Symbolication.framework/Versions/A/Symbolication
0x0000000002ad3000 /System/Library/PrivateFrameworks/SpeechRecognitionCore.framework/Versions/A/SpeechRecognitionCore
0x0000000108200000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x0000000002ad3000 /usr/lib/libstdc++.6.dylib
0x00000001079d0000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x000000010921f000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x00000001079e8000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x0000000123d9a000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x0000000123db0000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x00000001079f2000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x0000000123dc4000 /System/Library/PrivateFrameworks/JavaLaunching.framework/Versions/A/JavaLaunching
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/CommonPanels.framework/Versions/A/CommonPanels
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Help.framework/Versions/A/Help
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/ImageCapture.framework/Versions/A/ImageCapture
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/OpenScripting.framework/Versions/A/OpenScripting
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Print.framework/Versions/A/Print
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SecurityHI.framework/Versions/A/SecurityHI
0x0000000125be5000 /Users/najafzad/Downloads/z3/build/libz3java.dylib
0x0000000125c0b000 /Users/najafzad/Downloads/z3/build/libz3.dylib
VM Arguments:
jvm_args: -Dfile.encoding=UTF-8
java_command: analyzer.Stability -w evaluation.courseware.courseware
java_class_path (initial): /Users/najafzad/Documents/workspace-static/StaticTool/bin:/Users/najafzad/Downloads/home/z3/build/com.microsoft.z3.jar
Launcher Type: SUN_STANDARD
Environment Variables:
PATH=/usr/bin:/bin:/usr/sbin:/sbin
SHELL=/bin/bash
DYLD_LIBRARY_PATH=/Users/najafzad/Downloads/z3/build
Signal Handlers:
SIGSEGV: [libjvm.dylib+0x579dc7], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_ONSTACK|SA_RESTART|SA_SIGINFO
SIGBUS: [libjvm.dylib+0x579dc7], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGFPE: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGPIPE: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGXFSZ: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGILL: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
SIGUSR2: [libjvm.dylib+0x45ab4e], sa_mask[0]=00100000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
SIGHUP: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGINT: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGTERM: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGQUIT: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
--------------- S Y S T E M ---------------
OS:Bsduname:Darwin 14.0.0 Darwin Kernel Version 14.0.0: Fri Sep 19 00:26:44 PDT 2014; root:xnu-2782.1.97~2/RELEASE_X86_64 x86_64
rlimit: STACK 8192k, CORE 0k, NPROC 709, NOFILE 10240, AS infinity
load average:1.47 1.62 1.57
CPU:total 4 (2 cores per cpu, 2 threads per core) family 6 model 69 stepping 1, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, avx2, aes, clmul, erms, lzcnt, ht, tsc, tscinvbit, bmi1, bmi2
Memory: 4k page, physical 16777216k(1997804k free)
/proc/meminfo:
vm_info: Java HotSpot(TM) 64-Bit Server VM (25.25-b02) for bsd-amd64 JRE (1.8.0_25-b17), built on Sep 17 2014 16:56:50 by "java_re" with gcc 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00)
time: Mon Jun 15 16:35:15 2015
elapsed time: 0 seconds (0d 0h 0m 0s)