Ticket #318: brumley.txt

File brumley.txt, 27.1 KB (added by David Aspinall, 13 years ago)

Report of same/similar problem from Isabelle mailing list

Line 
1Subject:
2[isabelle] Emacs/Isabelle crash
3From:
4David Brumley <dbrumley@cmu.edu>
5Date:
6Mon, 25 Apr 2011 11:19:32 -0400
7To:
8cl-isabelle-users@lists.cam.ac.uk
9
10Hi,
11I downloaded isabelle today for OS X from the main website
12(Isabelle2011.dmg).  I'm working through the tutorial at
13http://isabelle.in.tum.de/doc/tutorial.pdf.  On page 20, I go to enter
14in the type declaration given, using
15\<not>
16
17for the negation in the "value" method (per appendix A.1).  Emacs
18reliably crashes every time I do this.  Crash report below.
19
20
21What would be the best course of action to move forward?  Install
22carbon emacs 22.x?  Use some other symbol entry for negation (what
23would I use?)
24
25Thanks,
26David
27
28
29
30Process:         Emacs [62639]
31Path:
32/Applications/Isabelle2011.app/Contents/Resources/Emacs.app/Contents/MacOS/Emacs
33Identifier:      org.gnu.Emacs
34Version:         Version 23.2 (9.0)
35Code Type:       X86-64 (Native)
36Parent Process:  bash [62631]
37
38Date/Time:       2011-04-25 11:16:16.359 -0400
39OS Version:      Mac OS X 10.6.7 (10J869)
40Report Version:  6
41
42Interval Since Last Report:          2506101 sec
43Crashes Since Last Report:           11
44Per-App Interval Since Last Report:  3565 sec
45Per-App Crashes Since Last Report:   3
46Anonymous UUID:                      6B212705-6B54-44EC-8BE3-2EEC5563842D
47
48Exception Type:  EXC_CRASH (SIGABRT)
49Exception Codes: 0x0000000000000000, 0x0000000000000000
50Crashed Thread:  0  Dispatch queue: com.apple.main-thread
51
52Application Specific Information:
53abort() called
54
55Thread 0 Crashed:  Dispatch queue: com.apple.main-thread
560   libSystem.B.dylib                   0x00007fff8020a5d6 __kill + 10
571   libSystem.B.dylib                   0x00007fff802aacd6 abort + 83
582   org.gnu.Emacs                       0x000000010016e44c ns_term_shutdown + 44
593   org.gnu.Emacs                       0x0000000100090274 fatal_error_signal + 340
604   libSystem.B.dylib                   0x00007fff8021c66a _sigtramp + 26
615   libSystem.B.dylib                   0x00007fff8020a5d6 __kill + 10
626   libSystem.B.dylib                   0x00007fff802aacd6 abort + 83
637   org.gnu.Emacs                       0x00000001000bdd95
64buf_charpos_to_bytepos + 389
658   org.gnu.Emacs                       0x0000000100160a7b
66composition_update_it + 539
679   org.gnu.Emacs                       0x000000010002eca3
68next_element_from_composition + 131
6910  org.gnu.Emacs                       0x000000010002f0b6
70next_element_from_buffer + 182
7111  org.gnu.Emacs                       0x000000010002f235
72next_element_from_buffer + 565
7312  org.gnu.Emacs                       0x000000010002bc90
74get_next_display_element + 64
7513  org.gnu.Emacs                       0x0000000100032aba display_line + 474
7614  org.gnu.Emacs                       0x000000010003d313 try_window + 163
7715  org.gnu.Emacs                       0x000000010003f009 redisplay_window + 6713
7816  org.gnu.Emacs                       0x0000000100040847 redisplay_window_0 + 39
7917  org.gnu.Emacs                       0x00000001001075ae
80internal_condition_case_1 + 334
8118  org.gnu.Emacs                       0x0000000100029a9d redisplay_windows + 93
8219  org.gnu.Emacs                       0x000000010004148c redisplay_internal + 3116
8320  org.gnu.Emacs                       0x000000010009e8be read_char + 2350
8421  org.gnu.Emacs                       0x00000001000a104f read_key_sequence + 1215
8522  org.gnu.Emacs                       0x00000001000a31f9 Fread_key_sequence + 313
8623  org.gnu.Emacs                       0x0000000100109256 Ffuncall + 1126
8724  org.gnu.Emacs                       0x0000000100145aae Fbyte_code + 6814
8825  org.gnu.Emacs                       0x0000000100108bfc funcall_lambda + 588
8926  org.gnu.Emacs                       0x0000000100109042 Ffuncall + 594
9027  org.gnu.Emacs                       0x0000000100145aae Fbyte_code + 6814
9128  org.gnu.Emacs                       0x0000000100108bfc funcall_lambda + 588
9229  org.gnu.Emacs                       0x0000000100109042 Ffuncall + 594
9330  org.gnu.Emacs                       0x000000010010a78e call1 + 30
9431  org.gnu.Emacs                       0x000000010009e44f read_char + 1215
9532  org.gnu.Emacs                       0x00000001000a104f read_key_sequence + 1215
9633  org.gnu.Emacs                       0x00000001000a35cb command_loop_1 + 587
9734  org.gnu.Emacs                       0x0000000100107717
98internal_condition_case + 327
9935  org.gnu.Emacs                       0x000000010009a9a7 command_loop_2 + 55
10036  org.gnu.Emacs                       0x0000000100107820 internal_catch + 224
10137  org.gnu.Emacs                       0x000000010009b436 command_loop + 182
10238  org.gnu.Emacs                       0x000000010009b89f recursive_edit_1 + 159
10339  org.gnu.Emacs                       0x000000010009ba3f Frecursive_edit + 287
10440  org.gnu.Emacs                       0x000000010009102c main + 3452
10541  org.gnu.Emacs                       0x0000000100002034 start + 52
106
107Thread 1:  Dispatch queue: com.apple.libdispatch-manager
1080   libSystem.B.dylib                   0x00007fff801d512a kevent + 10
1091   libSystem.B.dylib                   0x00007fff801d6ffd _dispatch_mgr_invoke + 154
1102   libSystem.B.dylib                   0x00007fff801d6cd4
111_dispatch_queue_invoke + 185
1123   libSystem.B.dylib                   0x00007fff801d67fe
113_dispatch_worker_thread2 + 252
1144   libSystem.B.dylib                   0x00007fff801d6128 _pthread_wqthread + 353
1155   libSystem.B.dylib                   0x00007fff801d5fc5 start_wqthread + 13
116
117Thread 0 crashed with X86 Thread State (64-bit):
118  rax: 0x0000000000000000  rbx: 0x0000000000000006  rcx:
1190x00007fff5fbf3fe8  rdx: 0x0000000000000000
120  rdi: 0x000000000000f4af  rsi: 0x0000000000000006  rbp:
1210x00007fff5fbf4000  rsp: 0x00007fff5fbf3fe8
122   r8: 0x0000000000000001   r9: 0x0000000119ba57a0  r10:
1230x00007fff80206616  r11: 0x0000000000000206
124  r12: 0x0000000000000006  r13: 0x0000000100534d48  r14:
1250x0000000000000200  r15: 0x00000000000000ac
126  rip: 0x00007fff8020a5d6  rfl: 0x0000000000000206  cr2: 0x0000000102a35fff
127
128Binary Images:
129       0x100000000 -        0x1001d9fff +org.gnu.Emacs Version 23.2
130(9.0) <7D762A3A-B020-669B-93E9-CD4525AAB2E1>
131/Applications/Isabelle2011.app/Contents/Resources/Emacs.app/Contents/MacOS/Emacs
132       0x1013aa000 -        0x1013aeff7  libFontRegistryUI.dylib ???
133(???) <89E50DF0-2A72-B443-28AE-5F27EC7E22C7>
134/System/Library/Frameworks/ApplicationServices.framework/Frameworks/ATS.framework/Resources/libFontRegistryUI.dylib
135    0x7fff5fc00000 -     0x7fff5fc3bdef  dyld 132.1 (???)
136<486E6C61-1197-CC7C-2197-82CE505102D7> /usr/lib/dyld
137    0x7fff800d1000 -     0x7fff801b7fef  com.apple.DesktopServices
1381.5.10 (1.5.10) <B7E00D85-F971-D85B-0217-482E15E9E924>
139/System/Library/PrivateFrameworks/DesktopServicesPriv.framework/Versions/A/DesktopServicesPriv
140    0x7fff801b8000 -     0x7fff801bafff  libRadiance.dylib ??? (???)
141<73257486-8E94-E758-1A5A-5B521F27EE12>
142/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libRadiance.dylib
143    0x7fff801bb000 -     0x7fff8037cfff  libSystem.B.dylib 125.2.10
144(compatibility 1.0.0) <9BAEB2F2-B485-6349-E1AB-637FE12EE770>
145/usr/lib/libSystem.B.dylib
146    0x7fff803c1000 -     0x7fff804d8fef  libxml2.2.dylib 10.3.0
147(compatibility 10.0.0) <1B27AFDD-DF87-2009-170E-C129E1572E8B>
148/usr/lib/libxml2.2.dylib
149    0x7fff80582000 -     0x7fff80740fff  libicucore.A.dylib 40.0.0
150(compatibility 1.0.0) <2C6ECACF-CD56-1714-6F63-CB6F5EE7A1E2>
151/usr/lib/libicucore.A.dylib
152    0x7fff80741000 -     0x7fff80750fff  com.apple.opengl 1.6.12
153(1.6.12) <29482652-1E44-1C47-428F-1209AA65336D>
154/System/Library/Frameworks/OpenGL.framework/Versions/A/OpenGL
155    0x7fff80751000 -     0x7fff80909fef  com.apple.ImageIO.framework
1563.0.4 (3.0.4) <EFB373AE-FE02-40C4-ABDC-09D61AFD25EA>
157/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/ImageIO
158    0x7fff8090a000 -     0x7fff80917fe7  libCSync.A.dylib 545.0.0
159(compatibility 64.0.0) <45B5B514-7CEB-38A9-F34A-1D96F010EC42>
160/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libCSync.A.dylib
161    0x7fff80918000 -     0x7fff8091dfff  libGIF.dylib ??? (???)
162<1B9DCB7F-CD1D-B23F-8AC6-5292B94A4D0E>
163/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libGIF.dylib
164    0x7fff8091e000 -     0x7fff80cbbfe7  com.apple.QuartzCore 1.6.3
165(227.36) <6FD8E129-135E-2F89-E9F0-A3CD0C6FCEF1>
166/System/Library/Frameworks/QuartzCore.framework/Versions/A/QuartzCore
167    0x7fff80e1d000 -     0x7fff80ed3fff  libobjc.A.dylib 227.0.0
168(compatibility 1.0.0) <99CB3A0F-64CF-1D16-70CD-8AED2EF06C30>
169/usr/lib/libobjc.A.dylib
170    0x7fff80fed000 -     0x7fff81018ff7  libxslt.1.dylib 3.24.0
171(compatibility 3.0.0) <87A0B228-B24A-C426-C3FB-B40D7258DD49>
172/usr/lib/libxslt.1.dylib
173    0x7fff8108e000 -     0x7fff81095fff  com.apple.OpenDirectory 10.6
174(10.6) <4200CFB0-DBA1-62B8-7C7C-91446D89551F>
175/System/Library/Frameworks/OpenDirectory.framework/Versions/A/OpenDirectory
176    0x7fff81096000 -     0x7fff81130ff7
177com.apple.ApplicationServices.ATS 4.4 (???)
178<55B528A6-0C88-6CB8-152B-A34A440FACFE>
179/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/ATS
180    0x7fff81131000 -     0x7fff811b6ff7
181com.apple.print.framework.PrintCore 6.3 (312.7)
182<CDFE82DD-D811-A091-179F-6E76069B432D>
183/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/PrintCore.framework/Versions/A/PrintCore
184    0x7fff81210000 -     0x7fff81214ff7  libCGXType.A.dylib 545.0.0
185(compatibility 64.0.0) <49E6AF5D-AF9B-67CF-A6B8-C79F6BA8A627>
186/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libCGXType.A.dylib
187    0x7fff81215000 -     0x7fff8132efef  libGLProgrammability.dylib
188??? (???) <C4BB281B-629D-08ED-2991-3D51671B0B02>
189/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLProgrammability.dylib
190    0x7fff81348000 -     0x7fff8136dff7  com.apple.CoreVideo 1.6.2
191(45.6) <E138C8E7-3CB6-55A9-0A2C-B73FE63EA288>
192/System/Library/Frameworks/CoreVideo.framework/Versions/A/CoreVideo
193    0x7fff81873000 -     0x7fff81884ff7  libz.1.dylib 1.2.3
194(compatibility 1.0.0) <97019C74-161A-3488-41EC-A6CA8738418C>
195/usr/lib/libz.1.dylib
196    0x7fff8197e000 -     0x7fff81984ff7  com.apple.CommerceCore 1.0
197(9) <4C66D962-91B5-F25C-A6FF-DFD5F924A0DD>
198/System/Library/PrivateFrameworks/CommerceKit.framework/Versions/A/Frameworks/CommerceCore.framework/Versions/A/CommerceCore
199    0x7fff81a03000 -     0x7fff81a17ff7
200com.apple.speech.synthesis.framework 3.10.35 (3.10.35)
201<621B7415-A0B9-07A7-F313-36BEEDD7B132>
202/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/SpeechSynthesis.framework/Versions/A/SpeechSynthesis
203    0x7fff81a18000 -     0x7fff81a5bff7  libRIP.A.dylib 545.0.0
204(compatibility 64.0.0) <2C596A24-8B86-79D6-1A8E-5E8FFB6A1558>
205/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libRIP.A.dylib
206    0x7fff81a5c000 -     0x7fff81a6aff7  libkxld.dylib ??? (???)
207<27713C39-0E51-8F5A-877B-C5539C96A520> /usr/lib/system/libkxld.dylib
208    0x7fff81aa9000 -     0x7fff81b09fe7  com.apple.framework.IOKit 2.0
209(???) <D107CB8A-5182-3AC4-35D0-07068A695C05>
210/System/Library/Frameworks/IOKit.framework/Versions/A/IOKit
211    0x7fff81b0a000 -     0x7fff81baafff  com.apple.LaunchServices
212362.2 (362.2) <A8EDC37C-1D40-5ED0-49BE-90EF110A6B3A>
213/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/LaunchServices.framework/Versions/A/LaunchServices
214    0x7fff81bab000 -     0x7fff81bb1ff7  com.apple.DiskArbitration 2.3
215(2.3) <857F6E43-1EF4-7D53-351B-10DE0A8F992A>
216/System/Library/Frameworks/DiskArbitration.framework/Versions/A/DiskArbitration
217    0x7fff81bb6000 -     0x7fff81bd9fff  com.apple.opencl 12.3.6
218(12.3.6) <42FA5783-EB80-1168-4015-B8C68F55842F>
219/System/Library/Frameworks/OpenCL.framework/Versions/A/OpenCL
220    0x7fff81c22000 -     0x7fff81c9ffef  libstdc++.6.dylib 7.9.0
221(compatibility 7.0.0) <35ECA411-2C08-FD7D-11B1-1B7A04921A5C>
222/usr/lib/libstdc++.6.dylib
223    0x7fff81da7000 -     0x7fff81dd8fff  libGLImage.dylib ??? (???)
224<6925991A-9B1B-B9FA-645A-807F9BCC3DE7>
225/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLImage.dylib
226    0x7fff81dd9000 -     0x7fff81e01fff  com.apple.DictionaryServices
2271.1.2 (1.1.2) <E9269069-93FA-2B71-F9BA-FDDD23C4A65E>
228/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/DictionaryServices.framework/Versions/A/DictionaryServices
229    0x7fff81e02000 -     0x7fff81e51fef  libTIFF.dylib ??? (???)
230<F0F7F0B7-7253-F88F-9E2D-FA3770143758>
231/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libTIFF.dylib
232    0x7fff81e60000 -     0x7fff81e60ff7  com.apple.vecLib 3.6 (vecLib
2333.6) <96FB6BAD-5568-C4E0-6FA7-02791A58B584>
234/System/Library/Frameworks/vecLib.framework/Versions/A/vecLib
235    0x7fff81e61000 -     0x7fff81eb0ff7
236com.apple.DirectoryService.PasswordServerFramework 6.1 (6.1)
237<01B370FB-D524-F660-3826-E85B7F0D85CD>
238/System/Library/PrivateFrameworks/PasswordServer.framework/Versions/A/PasswordServer
239    0x7fff81eec000 -     0x7fff81f6bfe7  com.apple.audio.CoreAudio
2403.2.6 (3.2.6) <6D8AD3F7-409D-512C-C5BE-66C64D1B8F3E>
241/System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio
242    0x7fff81f70000 -     0x7fff8202dfff
243com.apple.CoreServices.OSServices 359 (359)
244<8F509D8D-4C94-9A1C-3A87-5B775D9F6075>
245/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/OSServices.framework/Versions/A/OSServices
246    0x7fff822d2000 -     0x7fff82387fe7  com.apple.ink.framework 1.3.3
247(107) <8C36373C-5473-3A6A-4972-BC29D504250F>
248/System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Ink.framework/Versions/A/Ink
249    0x7fff823be000 -     0x7fff82406ff7  libvDSP.dylib 268.0.1
250(compatibility 1.0.0) <98FC4457-F405-0262-00F7-56119CA107B6>
251/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvDSP.dylib
252    0x7fff82407000 -     0x7fff8244eff7  com.apple.coreui 2 (114)
253<923E33CC-83FC-7D35-5603-FB8F348EE34B>
254/System/Library/PrivateFrameworks/CoreUI.framework/Versions/A/CoreUI
255    0x7fff8244f000 -     0x7fff82e45fff  com.apple.AppKit 6.6.7
256(1038.35) <9F4DF818-9DB9-98DA-490C-EF29EA757A97>
257/System/Library/Frameworks/AppKit.framework/Versions/C/AppKit
258    0x7fff82e46000 -     0x7fff830c9fe7  com.apple.Foundation 6.6.6
259(751.53) <476E617B-B59B-53DE-991D-98C1993BCBCE>
260/System/Library/Frameworks/Foundation.framework/Versions/C/Foundation
261    0x7fff831b3000 -     0x7fff831d0ff7  libPng.dylib ??? (???)
262<0C232C1E-49C8-F7A9-9634-DF2BDA1AB722>
263/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libPng.dylib
264    0x7fff834b2000 -     0x7fff83542fff  com.apple.SearchKit 1.3.0
265(1.3.0) <4175DC31-1506-228A-08FD-C704AC9DF642>
266/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/SearchKit.framework/Versions/A/SearchKit
267    0x7fff8358e000 -     0x7fff835c7fef  libcups.2.dylib 2.8.0
268(compatibility 2.0.0) <F8E0672F-C0B4-B161-E50D-A1405D14F21C>
269/usr/lib/libcups.2.dylib
270    0x7fff835c8000 -     0x7fff835c8ff7  com.apple.CoreServices 44
271(44) <DC7400FB-851E-7B8A-5BF6-6F50094302FB>
272/System/Library/Frameworks/CoreServices.framework/Versions/A/CoreServices
273    0x7fff835c9000 -     0x7fff83613ff7  com.apple.Metadata 10.6.3
274(507.15) <5170FCE0-ED6C-2E3E-AB28-1DDE3F628FC5>
275/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/Metadata.framework/Versions/A/Metadata
276    0x7fff83614000 -     0x7fff836d5fef  com.apple.ColorSync 4.6.6
277(4.6.6) <EC6C8119-23F6-A96E-47A3-5CD31E462AE3>
278/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ColorSync.framework/Versions/A/ColorSync
279    0x7fff836d6000 -     0x7fff83797fff  libFontParser.dylib ??? (???)
280<244BCE74-7EEE-C9DE-9779-F3AEF5869BE6>
281/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontParser.dylib
282    0x7fff837ac000 -     0x7fff837b1fff  libGFXShared.dylib ??? (???)
283<878C429B-44D4-875C-1A35-4FD8C6152695>
284/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGFXShared.dylib
285    0x7fff837f7000 -     0x7fff83818fff  libresolv.9.dylib 41.0.0
286(compatibility 1.0.0) <9F322F47-0584-CB7D-5B73-9EBD670851CD>
287/usr/lib/libresolv.9.dylib
288    0x7fff83819000 -     0x7fff8385afef  com.apple.QD 3.36 (???)
289<5DC41E81-32C9-65B2-5528-B33E934D5BB4>
290/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/QD.framework/Versions/A/QD
291    0x7fff8385d000 -     0x7fff83992ff7
292com.apple.audio.toolbox.AudioToolbox 1.6.6 (1.6.6)
293<AFAB42A2-A3A8-83D8-D583-613625706690>
294/System/Library/Frameworks/AudioToolbox.framework/Versions/A/AudioToolbox
295    0x7fff83a27000 -     0x7fff83a40fff  com.apple.CFOpenDirectory
29610.6 (10.6) <CCF79716-7CC6-2520-C6EB-A4F56AD0A207>
297/System/Library/Frameworks/OpenDirectory.framework/Versions/A/Frameworks/CFOpenDirectory.framework/Versions/A/CFOpenDirectory
298    0x7fff83aae000 -     0x7fff83aeffff  com.apple.SystemConfiguration
2991.10.5 (1.10.2) <FB39F09C-57BB-D8CC-348D-93E00C602F7D>
300/System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration
301    0x7fff84065000 -     0x7fff8407bfe7
302com.apple.MultitouchSupport.framework 207.10 (207.10)
303<458F0259-6EDC-16BA-E6AA-1CEED002D188>
304/System/Library/PrivateFrameworks/MultitouchSupport.framework/Versions/A/MultitouchSupport
305    0x7fff8407c000 -     0x7fff84091ff7  com.apple.LangAnalysis 1.6.6
306(1.6.6) <1AE1FE8F-2204-4410-C94E-0E93B003BEDA>
307/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/LangAnalysis.framework/Versions/A/LangAnalysis
308    0x7fff84092000 -     0x7fff841b3fe7  libcrypto.0.9.8.dylib 0.9.8
309(compatibility 0.9.8) <48AEAFE1-21F4-B3C8-4199-35AD5E8D0613>
310/usr/lib/libcrypto.0.9.8.dylib
311    0x7fff84521000 -     0x7fff84547fe7  libJPEG.dylib ??? (???)
312<AD42F658-7C32-EEE5-8341-A8EE6476BF46>
313/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib
314    0x7fff84548000 -     0x7fff84548ff7  com.apple.Accelerate 1.6
315(Accelerate 1.6) <15DF8B4A-96B2-CB4E-368D-DEC7DF6B62BB>
316/System/Library/Frameworks/Accelerate.framework/Versions/A/Accelerate
317    0x7fff84549000 -     0x7fff8454fff7  IOSurface ??? (???)
318<EAD87C9F-BADC-7116-4ADD-0B0679459D24>
319/System/Library/Frameworks/IOSurface.framework/Versions/A/IOSurface
320    0x7fff84550000 -     0x7fff84734ff7  libType1Scaler.dylib ???
321(???) <2C7624EC-01D5-5E9E-3FB8-8ADA460ED6DE>
322/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libType1Scaler.dylib
323    0x7fff84735000 -     0x7fff84f3ffe7  libBLAS.dylib 219.0.0
324(compatibility 1.0.0) <FC941ECB-71D0-FAE3-DCBF-C5A619E594B8>
325/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libBLAS.dylib
326    0x7fff84f40000 -     0x7fff84f41ff7
327com.apple.audio.units.AudioUnit 1.6.6 (1.6.6)
328<BE4E577D-87EC-8FD0-5341-AE99CE4ADC99>
329/System/Library/Frameworks/AudioUnit.framework/Versions/A/AudioUnit
330    0x7fff84fa5000 -     0x7fff84fa5ff7  com.apple.Accelerate.vecLib
3313.6 (vecLib 3.6) <4CCE5D69-F1B3-8FD3-1483-E0271DB2CCF3>
332/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/vecLib
333    0x7fff84fd0000 -     0x7fff8500ffef  libncurses.5.4.dylib 5.4.0
334(compatibility 5.4.0) <9D53BE03-6D81-D0CB-F657-4E842E69A66A>
335/usr/lib/libncurses.5.4.dylib
336    0x7fff85010000 -     0x7fff85344fff
337com.apple.CoreServices.CarbonCore 861.34 (861.34)
338<B5680539-CB31-6C6D-C0AD-606D4D46E7F5>
339/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CarbonCore.framework/Versions/A/CarbonCore
340    0x7fff85345000 -     0x7fff853affe7  libvMisc.dylib 268.0.1
341(compatibility 1.0.0) <AF0EA96D-000F-8C12-B952-CB7E00566E08>
342/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvMisc.dylib
343    0x7fff853ba000 -     0x7fff853d0fef  libbsm.0.dylib ??? (???)
344<42D3023A-A1F7-4121-6417-FCC6B51B3E90> /usr/lib/libbsm.0.dylib
345    0x7fff853d1000 -     0x7fff85404fff  libTrueTypeScaler.dylib ???
346(???) <632BAC10-4C24-D1F2-3943-DF5F2326318B>
347/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libTrueTypeScaler.dylib
348    0x7fff85421000 -     0x7fff854d1fff  edu.mit.Kerberos 6.5.11
349(6.5.11) <085D80F5-C9DC-E252-C21B-03295E660C91>
350/System/Library/Frameworks/Kerberos.framework/Versions/A/Kerberos
351    0x7fff856c3000 -     0x7fff856d7fff  libGL.dylib ??? (???)
352<0FA671EB-6FA0-BA97-C00A-C42247C22B26>
353/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGL.dylib
354    0x7fff8571f000 -     0x7fff857f1fe7  com.apple.CFNetwork 454.11.12
355(454.11.12) <B1C9008A-4A5D-609D-5D10-C93DAD6FFB4C>
356/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CFNetwork.framework/Versions/A/CFNetwork
357    0x7fff857f2000 -     0x7fff858abfff  libsqlite3.dylib 9.6.0
358(compatibility 9.0.0) <2C5ED312-E646-9ADE-73A9-6199A2A43150>
359/usr/lib/libsqlite3.dylib
360    0x7fff858ac000 -     0x7fff858bbfff  com.apple.NetFS 3.2.2 (3.2.2)
361<7CCBD70E-BF31-A7A7-DB98-230687773145>
362/System/Library/Frameworks/NetFS.framework/Versions/A/NetFS
363    0x7fff858bc000 -     0x7fff858bdff7
364com.apple.TrustEvaluationAgent 1.1 (1)
365<5952A9FA-BC2B-16EF-91A7-43902A5C07B6>
366/System/Library/PrivateFrameworks/TrustEvaluationAgent.framework/Versions/A/TrustEvaluationAgent
367    0x7fff858ca000 -     0x7fff85a08fff  com.apple.CoreData 102.1
368(251) <9DFE798D-AA52-6A9A-924A-DA73CB94D81A>
369/System/Library/Frameworks/CoreData.framework/Versions/A/CoreData
370    0x7fff85a2c000 -     0x7fff85d2afff  com.apple.HIToolbox 1.6.5
371(???) <AD1C18F6-51CB-7E39-35DD-F16B1EB978A8>
372/System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/HIToolbox.framework/Versions/A/HIToolbox
373    0x7fff85dc5000 -     0x7fff85e0efef  libGLU.dylib ??? (???)
374<0FCD57C5-D7AA-F2DD-D2EC-C1C8B931F65C>
375/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLU.dylib
376    0x7fff85e55000 -     0x7fff85ed3ff7  com.apple.CoreText 3.151.8
377(???) <5DCD6BD9-63FB-767E-5993-5AEBE890145B>
378/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreText.framework/Versions/A/CoreText
379    0x7fff85ed4000 -     0x7fff85ed5fff  liblangid.dylib ??? (???)
380<EA4D1607-2BD5-2EE2-2A3B-632EEE5A444D> /usr/lib/liblangid.dylib
381    0x7fff85ed6000 -     0x7fff85fa1fff  ColorSyncDeprecated.dylib
3824.6.0 (compatibility 1.0.0) <D3242F40-AA41-022C-1345-6BFC0E560460>
383/System/Library/Frameworks/ApplicationServices.framework/Frameworks/ColorSync.framework/Versions/A/Resources/ColorSyncDeprecated.dylib
384    0x7fff85fae000 -     0x7fff8608bfff  com.apple.vImage 4.1 (4.1)
385<C3F44AA9-6F71-0684-2686-D3BBC903F020>
386/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vImage.framework/Versions/A/vImage
387    0x7fff86d97000 -     0x7fff871dafef  libLAPACK.dylib 219.0.0
388(compatibility 1.0.0) <0CC61C98-FF51-67B3-F3D8-C5E430C201A9>
389/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLAPACK.dylib
390    0x7fff871db000 -     0x7fff87216fff  com.apple.AE 496.4 (496.4)
391<55AAD5CA-7160-7899-1C68-562ED8160DF7>
392/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/AE.framework/Versions/A/AE
393    0x7fff8728c000 -     0x7fff872d8fff  libauto.dylib ??? (???)
394<F7221B46-DC4F-3153-CE61-7F52C8C293CF> /usr/lib/libauto.dylib
395    0x7fff87544000 -     0x7fff8796ffef  com.apple.RawCamera.bundle
3963.6.4 (561) <C4AB0054-B2C8-246E-0F17-98F4BD5BE94C>
397/System/Library/CoreServices/RawCamera.bundle/Contents/MacOS/RawCamera
398    0x7fff87970000 -     0x7fff879fcfef  SecurityFoundation ??? (???)
399<F43FDB02-CAA5-F8FF-C8D7-6665E7403ECE>
400/System/Library/Frameworks/SecurityFoundation.framework/Versions/A/SecurityFoundation
401    0x7fff879fd000 -     0x7fff87a3aff7  libFontRegistry.dylib ???
402(???) <8C69F685-3507-1B8F-51AD-6183D5E88979>
403/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontRegistry.dylib
404    0x7fff87a3b000 -     0x7fff87a41fff  libCGXCoreImage.A.dylib
405545.0.0 (compatibility 64.0.0) <C863C133-EA3E-5403-FC44-FDC9F236DC98>
406/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libCGXCoreImage.A.dylib
407    0x7fff87ac6000 -     0x7fff87ad8fe7  libsasl2.2.dylib 3.15.0
408(compatibility 3.0.0) <76B83C8D-8EFE-4467-0F75-275648AFED97>
409/usr/lib/libsasl2.2.dylib
410    0x7fff87ad9000 -     0x7fff87b2bff7  com.apple.HIServices 1.8.2
411(???) <7C91D07D-FA20-0882-632F-0CAE4FAC2B79>
412/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/HIServices.framework/Versions/A/HIServices
413    0x7fff87d2b000 -     0x7fff87ea2fe7  com.apple.CoreFoundation
4146.6.4 (550.42) <770C572A-CF70-168F-F43C-242B9114FCB5>
415/System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation
416    0x7fff87ee0000 -     0x7fff88168fef  com.apple.security 6.1.2
417(55002) <015C9A08-3D07-9462-8E91-DB1924349621>
418/System/Library/Frameworks/Security.framework/Versions/A/Security
419    0x7fff88169000 -     0x7fff881beff7
420com.apple.framework.familycontrols 2.0.2 (2020)
421<F09541B6-5E28-1C01-C1AE-F6A2508670C7>
422/System/Library/PrivateFrameworks/FamilyControls.framework/Versions/A/FamilyControls
423    0x7fff881bf000 -     0x7fff881caff7
424com.apple.speech.recognition.framework 3.11.1 (3.11.1)
425<3D65E89B-FFC6-4AAF-D5CC-104F967C8131>
426/System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SpeechRecognition.framework/Versions/A/SpeechRecognition
427    0x7fff8827d000 -     0x7fff88281ff7  libmathCommon.A.dylib 315.0.0
428(compatibility 1.0.0) <95718673-FEEE-B6ED-B127-BCDBDB60D4E5>
429/usr/lib/system/libmathCommon.A.dylib
430    0x7fff88282000 -     0x7fff88285ff7  libCoreVMClient.dylib ???
431(???) <00C97B96-8D3B-45EB-F503-DB49712DC42D>
432/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCoreVMClient.dylib
433    0x7fff882a7000 -     0x7fff882c7ff7
434com.apple.DirectoryService.Framework 3.6 (621.11)
435<AD76C757-6701-BDB5-631E-1CB77D669586>
436/System/Library/Frameworks/DirectoryService.framework/Versions/A/DirectoryService
437    0x7fff8862c000 -     0x7fff88d2906f  com.apple.CoreGraphics
4381.545.0 (???) <F0A5F62D-4C66-5B1F-4F13-322932915901>
439/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics
440    0x7fff88e7a000 -     0x7fff88e7aff7  com.apple.ApplicationServices
44138 (38) <10A0B9E9-4988-03D4-FC56-DDE231A02C63>
442/System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices
443    0x7fffffe00000 -     0x7fffffe01fff  libSystem.B.dylib ??? (???)
444<9BAEB2F2-B485-6349-E1AB-637FE12EE770> /usr/lib/libSystem.B.dylib
445
446Model: MacPro4,1, BootROM MP41.0081.B07, 4 processors, Quad-Core Intel
447Xeon, 2.93 GHz, 6 GB, SMC 1.39f5
448Graphics: ATI Radeon HD 4870, ATI Radeon HD 4870, PCIe, 512 MB
449Memory Module: global_name
450AirPort: spairport_wireless_card_type_airport_extreme (0x14E4, 0x8E),
451Broadcom BCM43xx 1.0 (5.10.131.36.9)
452Bluetooth: Version 2.4.0f1, 2 service, 19 devices, 1 incoming serial ports
453Network Service: Ethernet 1, Ethernet, en0
454PCI Card: ATI Radeon HD 4870, Display, Slot-1
455Serial ATA Device: HL-DT-ST DVD-RW GH41N
456Serial ATA Device: Hitachi HDE721010SLA330, 931.51 GB
457Serial ATA Device: Hitachi HDE721010SLA330, 931.51 GB
458USB Device: FreeAgent, 0x0bc2, 0x3008, 0xfd300000
459USB Device: Hub, 0x0424  (SMSC), 0x2514, 0xfd100000
460USB Device: Hub, 0x0424  (SMSC), 0x2602, 0xfd110000
461USB Device: Flash, 0x0424  (SMSC), 0x2228, 0xfd111000
462USB Device: BRCM2046 Hub, 0x0a5c  (Broadcom Corp.), 0x4500, 0x5a100000
463USB Device: Bluetooth USB Host Controller, 0x05ac  (Apple Inc.),
4640x8215, 0x5a110000
465FireWire Device: built-in_hub, Up to 800 Mb/sec
466
467