1 | Subject: |
---|
2 | [isabelle] Emacs/Isabelle crash |
---|
3 | From: |
---|
4 | David Brumley <dbrumley@cmu.edu> |
---|
5 | Date: |
---|
6 | Mon, 25 Apr 2011 11:19:32 -0400 |
---|
7 | To: |
---|
8 | cl-isabelle-users@lists.cam.ac.uk |
---|
9 | |
---|
10 | Hi, |
---|
11 | I downloaded isabelle today for OS X from the main website |
---|
12 | (Isabelle2011.dmg). I'm working through the tutorial at |
---|
13 | http://isabelle.in.tum.de/doc/tutorial.pdf. On page 20, I go to enter |
---|
14 | in the type declaration given, using |
---|
15 | \<not> |
---|
16 | |
---|
17 | for the negation in the "value" method (per appendix A.1). Emacs |
---|
18 | reliably crashes every time I do this. Crash report below. |
---|
19 | |
---|
20 | |
---|
21 | What would be the best course of action to move forward? Install |
---|
22 | carbon emacs 22.x? Use some other symbol entry for negation (what |
---|
23 | would I use?) |
---|
24 | |
---|
25 | Thanks, |
---|
26 | David |
---|
27 | |
---|
28 | |
---|
29 | |
---|
30 | Process: Emacs [62639] |
---|
31 | Path: |
---|
32 | /Applications/Isabelle2011.app/Contents/Resources/Emacs.app/Contents/MacOS/Emacs |
---|
33 | Identifier: org.gnu.Emacs |
---|
34 | Version: Version 23.2 (9.0) |
---|
35 | Code Type: X86-64 (Native) |
---|
36 | Parent Process: bash [62631] |
---|
37 | |
---|
38 | Date/Time: 2011-04-25 11:16:16.359 -0400 |
---|
39 | OS Version: Mac OS X 10.6.7 (10J869) |
---|
40 | Report Version: 6 |
---|
41 | |
---|
42 | Interval Since Last Report: 2506101 sec |
---|
43 | Crashes Since Last Report: 11 |
---|
44 | Per-App Interval Since Last Report: 3565 sec |
---|
45 | Per-App Crashes Since Last Report: 3 |
---|
46 | Anonymous UUID: 6B212705-6B54-44EC-8BE3-2EEC5563842D |
---|
47 | |
---|
48 | Exception Type: EXC_CRASH (SIGABRT) |
---|
49 | Exception Codes: 0x0000000000000000, 0x0000000000000000 |
---|
50 | Crashed Thread: 0 Dispatch queue: com.apple.main-thread |
---|
51 | |
---|
52 | Application Specific Information: |
---|
53 | abort() called |
---|
54 | |
---|
55 | Thread 0 Crashed: Dispatch queue: com.apple.main-thread |
---|
56 | 0 libSystem.B.dylib 0x00007fff8020a5d6 __kill + 10 |
---|
57 | 1 libSystem.B.dylib 0x00007fff802aacd6 abort + 83 |
---|
58 | 2 org.gnu.Emacs 0x000000010016e44c ns_term_shutdown + 44 |
---|
59 | 3 org.gnu.Emacs 0x0000000100090274 fatal_error_signal + 340 |
---|
60 | 4 libSystem.B.dylib 0x00007fff8021c66a _sigtramp + 26 |
---|
61 | 5 libSystem.B.dylib 0x00007fff8020a5d6 __kill + 10 |
---|
62 | 6 libSystem.B.dylib 0x00007fff802aacd6 abort + 83 |
---|
63 | 7 org.gnu.Emacs 0x00000001000bdd95 |
---|
64 | buf_charpos_to_bytepos + 389 |
---|
65 | 8 org.gnu.Emacs 0x0000000100160a7b |
---|
66 | composition_update_it + 539 |
---|
67 | 9 org.gnu.Emacs 0x000000010002eca3 |
---|
68 | next_element_from_composition + 131 |
---|
69 | 10 org.gnu.Emacs 0x000000010002f0b6 |
---|
70 | next_element_from_buffer + 182 |
---|
71 | 11 org.gnu.Emacs 0x000000010002f235 |
---|
72 | next_element_from_buffer + 565 |
---|
73 | 12 org.gnu.Emacs 0x000000010002bc90 |
---|
74 | get_next_display_element + 64 |
---|
75 | 13 org.gnu.Emacs 0x0000000100032aba display_line + 474 |
---|
76 | 14 org.gnu.Emacs 0x000000010003d313 try_window + 163 |
---|
77 | 15 org.gnu.Emacs 0x000000010003f009 redisplay_window + 6713 |
---|
78 | 16 org.gnu.Emacs 0x0000000100040847 redisplay_window_0 + 39 |
---|
79 | 17 org.gnu.Emacs 0x00000001001075ae |
---|
80 | internal_condition_case_1 + 334 |
---|
81 | 18 org.gnu.Emacs 0x0000000100029a9d redisplay_windows + 93 |
---|
82 | 19 org.gnu.Emacs 0x000000010004148c redisplay_internal + 3116 |
---|
83 | 20 org.gnu.Emacs 0x000000010009e8be read_char + 2350 |
---|
84 | 21 org.gnu.Emacs 0x00000001000a104f read_key_sequence + 1215 |
---|
85 | 22 org.gnu.Emacs 0x00000001000a31f9 Fread_key_sequence + 313 |
---|
86 | 23 org.gnu.Emacs 0x0000000100109256 Ffuncall + 1126 |
---|
87 | 24 org.gnu.Emacs 0x0000000100145aae Fbyte_code + 6814 |
---|
88 | 25 org.gnu.Emacs 0x0000000100108bfc funcall_lambda + 588 |
---|
89 | 26 org.gnu.Emacs 0x0000000100109042 Ffuncall + 594 |
---|
90 | 27 org.gnu.Emacs 0x0000000100145aae Fbyte_code + 6814 |
---|
91 | 28 org.gnu.Emacs 0x0000000100108bfc funcall_lambda + 588 |
---|
92 | 29 org.gnu.Emacs 0x0000000100109042 Ffuncall + 594 |
---|
93 | 30 org.gnu.Emacs 0x000000010010a78e call1 + 30 |
---|
94 | 31 org.gnu.Emacs 0x000000010009e44f read_char + 1215 |
---|
95 | 32 org.gnu.Emacs 0x00000001000a104f read_key_sequence + 1215 |
---|
96 | 33 org.gnu.Emacs 0x00000001000a35cb command_loop_1 + 587 |
---|
97 | 34 org.gnu.Emacs 0x0000000100107717 |
---|
98 | internal_condition_case + 327 |
---|
99 | 35 org.gnu.Emacs 0x000000010009a9a7 command_loop_2 + 55 |
---|
100 | 36 org.gnu.Emacs 0x0000000100107820 internal_catch + 224 |
---|
101 | 37 org.gnu.Emacs 0x000000010009b436 command_loop + 182 |
---|
102 | 38 org.gnu.Emacs 0x000000010009b89f recursive_edit_1 + 159 |
---|
103 | 39 org.gnu.Emacs 0x000000010009ba3f Frecursive_edit + 287 |
---|
104 | 40 org.gnu.Emacs 0x000000010009102c main + 3452 |
---|
105 | 41 org.gnu.Emacs 0x0000000100002034 start + 52 |
---|
106 | |
---|
107 | Thread 1: Dispatch queue: com.apple.libdispatch-manager |
---|
108 | 0 libSystem.B.dylib 0x00007fff801d512a kevent + 10 |
---|
109 | 1 libSystem.B.dylib 0x00007fff801d6ffd _dispatch_mgr_invoke + 154 |
---|
110 | 2 libSystem.B.dylib 0x00007fff801d6cd4 |
---|
111 | _dispatch_queue_invoke + 185 |
---|
112 | 3 libSystem.B.dylib 0x00007fff801d67fe |
---|
113 | _dispatch_worker_thread2 + 252 |
---|
114 | 4 libSystem.B.dylib 0x00007fff801d6128 _pthread_wqthread + 353 |
---|
115 | 5 libSystem.B.dylib 0x00007fff801d5fc5 start_wqthread + 13 |
---|
116 | |
---|
117 | Thread 0 crashed with X86 Thread State (64-bit): |
---|
118 | rax: 0x0000000000000000 rbx: 0x0000000000000006 rcx: |
---|
119 | 0x00007fff5fbf3fe8 rdx: 0x0000000000000000 |
---|
120 | rdi: 0x000000000000f4af rsi: 0x0000000000000006 rbp: |
---|
121 | 0x00007fff5fbf4000 rsp: 0x00007fff5fbf3fe8 |
---|
122 | r8: 0x0000000000000001 r9: 0x0000000119ba57a0 r10: |
---|
123 | 0x00007fff80206616 r11: 0x0000000000000206 |
---|
124 | r12: 0x0000000000000006 r13: 0x0000000100534d48 r14: |
---|
125 | 0x0000000000000200 r15: 0x00000000000000ac |
---|
126 | rip: 0x00007fff8020a5d6 rfl: 0x0000000000000206 cr2: 0x0000000102a35fff |
---|
127 | |
---|
128 | Binary 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 |
---|
138 | 1.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 |
---|
156 | 3.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 |
---|
177 | com.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 |
---|
181 | com.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 |
---|
200 | com.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 |
---|
212 | 362.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 |
---|
227 | 1.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 |
---|
233 | 3.6) <96FB6BAD-5568-C4E0-6FA7-02791A58B584> |
---|
234 | /System/Library/Frameworks/vecLib.framework/Versions/A/vecLib |
---|
235 | 0x7fff81e61000 - 0x7fff81eb0ff7 |
---|
236 | com.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 |
---|
240 | 3.2.6 (3.2.6) <6D8AD3F7-409D-512C-C5BE-66C64D1B8F3E> |
---|
241 | /System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio |
---|
242 | 0x7fff81f70000 - 0x7fff8202dfff |
---|
243 | com.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 |
---|
292 | com.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 |
---|
296 | 10.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 |
---|
299 | 1.10.5 (1.10.2) <FB39F09C-57BB-D8CC-348D-93E00C602F7D> |
---|
300 | /System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration |
---|
301 | 0x7fff84065000 - 0x7fff8407bfe7 |
---|
302 | com.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 |
---|
327 | com.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 |
---|
331 | 3.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 |
---|
337 | com.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 |
---|
364 | com.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 |
---|
382 | 4.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 |
---|
396 | 3.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 |
---|
405 | 545.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 |
---|
414 | 6.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 |
---|
420 | com.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 |
---|
424 | com.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 |
---|
434 | com.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 |
---|
438 | 1.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 |
---|
441 | 38 (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 | |
---|
446 | Model: MacPro4,1, BootROM MP41.0081.B07, 4 processors, Quad-Core Intel |
---|
447 | Xeon, 2.93 GHz, 6 GB, SMC 1.39f5 |
---|
448 | Graphics: ATI Radeon HD 4870, ATI Radeon HD 4870, PCIe, 512 MB |
---|
449 | Memory Module: global_name |
---|
450 | AirPort: spairport_wireless_card_type_airport_extreme (0x14E4, 0x8E), |
---|
451 | Broadcom BCM43xx 1.0 (5.10.131.36.9) |
---|
452 | Bluetooth: Version 2.4.0f1, 2 service, 19 devices, 1 incoming serial ports |
---|
453 | Network Service: Ethernet 1, Ethernet, en0 |
---|
454 | PCI Card: ATI Radeon HD 4870, Display, Slot-1 |
---|
455 | Serial ATA Device: HL-DT-ST DVD-RW GH41N |
---|
456 | Serial ATA Device: Hitachi HDE721010SLA330, 931.51 GB |
---|
457 | Serial ATA Device: Hitachi HDE721010SLA330, 931.51 GB |
---|
458 | USB Device: FreeAgent, 0x0bc2, 0x3008, 0xfd300000 |
---|
459 | USB Device: Hub, 0x0424 (SMSC), 0x2514, 0xfd100000 |
---|
460 | USB Device: Hub, 0x0424 (SMSC), 0x2602, 0xfd110000 |
---|
461 | USB Device: Flash, 0x0424 (SMSC), 0x2228, 0xfd111000 |
---|
462 | USB Device: BRCM2046 Hub, 0x0a5c (Broadcom Corp.), 0x4500, 0x5a100000 |
---|
463 | USB Device: Bluetooth USB Host Controller, 0x05ac (Apple Inc.), |
---|
464 | 0x8215, 0x5a110000 |
---|
465 | FireWire Device: built-in_hub, Up to 800 Mb/sec |
---|
466 | |
---|
467 | |
---|