Offset 5, 15 lines modified | Offset 5, 15 lines modified | ||
5 | ./etc·time=1691377586.0·mode=755·type=dir | 5 | ./etc·time=1691377586.0·mode=755·type=dir |
6 | ./etc/profile.d·time=1691377586.0·mode=755·type=dir | 6 | ./etc/profile.d·time=1691377586.0·mode=755·type=dir |
7 | ./etc/profile.d/splint.sh·time=1691377586.0·mode=755·size=86·md5digest=0efb6341b384dc44590989fe3678c96c·sha256digest=ea90b733037ef1ad25a0a5f39cbb33ca747dabd3b2bfd9d087f3981bc6990b61 | 7 | ./etc/profile.d/splint.sh·time=1691377586.0·mode=755·size=86·md5digest=0efb6341b384dc44590989fe3678c96c·sha256digest=ea90b733037ef1ad25a0a5f39cbb33ca747dabd3b2bfd9d087f3981bc6990b61 |
8 | /set·mode=755 | 8 | /set·mode=755 |
9 | ./usr·time=1691377586.0·type=dir | 9 | ./usr·time=1691377586.0·type=dir |
10 | ./usr/bin·time=1691377586.0·type=dir | 10 | ./usr/bin·time=1691377586.0·type=dir |
11 | ./usr/bin/genflagcodes·time=1691377586.0·size=1930·md5digest=bb1fb230619ee2e3b4f03063a86a5c1b·sha256digest=e4054a6b614586f3fd0af2a0fed0fa84ed128c34293f0571aeb2a8fb7ae538fa | 11 | ./usr/bin/genflagcodes·time=1691377586.0·size=1930·md5digest=bb1fb230619ee2e3b4f03063a86a5c1b·sha256digest=e4054a6b614586f3fd0af2a0fed0fa84ed128c34293f0571aeb2a8fb7ae538fa |
12 | ./usr/bin/splint·time=1691377586.0·size=1854696·md5digest= | 12 | ./usr/bin/splint·time=1691377586.0·size=1854696·md5digest=6c257ac95d765496e9c76517dd0a54d4·sha256digest=1d3cd494e377558cf45206b61996076527910af08fe40c785ecff6339e8fe63e |
13 | ./usr/share·time=1691377586.0·type=dir | 13 | ./usr/share·time=1691377586.0·type=dir |
14 | ./usr/share/man·time=1691377586.0·type=dir | 14 | ./usr/share/man·time=1691377586.0·type=dir |
15 | ./usr/share/man/man1·time=1691377586.0·type=dir | 15 | ./usr/share/man/man1·time=1691377586.0·type=dir |
16 | ./usr/share/man/man1/splint.1.gz·time=1691377586.0·mode=644·size=3378·md5digest=0e184eb0a6ebf8e62ce3bd58fef883ef·sha256digest=90b4ec1e1e00426b01f9e1eb901f13406019423d8a05623843283dc9bb093bf0 | 16 | ./usr/share/man/man1/splint.1.gz·time=1691377586.0·mode=644·size=3378·md5digest=0e184eb0a6ebf8e62ce3bd58fef883ef·sha256digest=90b4ec1e1e00426b01f9e1eb901f13406019423d8a05623843283dc9bb093bf0 |
17 | ./usr/share/splint·time=1691377586.0·type=dir | 17 | ./usr/share/splint·time=1691377586.0·type=dir |
18 | /set·mode=644 | 18 | /set·mode=644 |
19 | ./usr/share/splint/imports·time=1691377586.0·mode=755·type=dir | 19 | ./usr/share/splint/imports·time=1691377586.0·mode=755·type=dir |
Offset 1, 12 lines modified | Offset 1, 12 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.property | 1 | Displaying·notes·found·in:·.note.gnu.property |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000040» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline | 3 | ··GNU··················0x00000040» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline |
4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·0d9efa60fcb7efedd8b8229cd1afa4afd5b29f83 |
7 | Displaying·notes·found·in:·.note.ABI-tag | 7 | Displaying·notes·found·in:·.note.ABI-tag |
8 | ··Owner················Data·size·» Description | 8 | ··Owner················Data·size·» Description |
9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·4.4.0 | 9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·4.4.0 |
Offset 6317, 15 lines modified | Offset 6317, 15 lines modified | ||
6317 | For·more·information,·see·the·Splint·web·site:·http://www.splint.org | 6317 | For·more·information,·see·the·Splint·web·site:·http://www.splint.org |
6318 | There·are·two·mailing·lists·associated·with·Splint:· | 6318 | There·are·two·mailing·lists·associated·with·Splint:· |
6319 | ···splint-announce@cs.virginia.edu | 6319 | ···splint-announce@cs.virginia.edu |
6320 | ······Reserved·for·announcements·of·new·releases·and·bug·fixes. | 6320 | ······Reserved·for·announcements·of·new·releases·and·bug·fixes. |
6321 | ···splint-discuss@virginia.edu | 6321 | ···splint-discuss@virginia.edu |
6322 | ······Informal·discussions·on·the·use·and·development·of·Splint. | 6322 | ······Informal·discussions·on·the·use·and·development·of·Splint. |
6323 | To·subscribe·or·view·archives,·visit·http://www.splint.org/lists.html | 6323 | To·subscribe·or·view·archives,·visit·http://www.splint.org/lists.html |
6324 | Compiled·using·"gcc·-march=x86-64·-mtune=generic·-O2·-pipe·-fno-plt·-fexceptions·········-Wp,-D_FORTIFY_SOURCE=2·-Wformat·-Werror=format-security·········-fstack-clash-protection·-fcf-protection"·on·Linux·osuosl | 6324 | Compiled·using·"gcc·-march=x86-64·-mtune=generic·-O2·-pipe·-fno-plt·-fexceptions·········-Wp,-D_FORTIFY_SOURCE=2·-Wformat·-Werror=format-security·········-fstack-clash-protection·-fcf-protection"·on·Linux·osuosl1-amd64·6.1.0-10-amd64·#1·SMP·PREEMPT_DYNAMIC·Debian·6.1.38-2·(2023-07-27)·x86_64·GNU/Linux·by·jenkins |
6325 | To·see·the·flags·in·a·flag·category,·do | 6325 | To·see·the·flags·in·a·flag·category,·do |
6326 | ···splint·-help·flags·<category> | 6326 | ···splint·-help·flags·<category> |
6327 | To·see·a·list·of·all·flags·in·alphabetical·order,·do | 6327 | To·see·a·list·of·all·flags·in·alphabetical·order,·do |
6328 | ···splint·-help·flags·alpha | 6328 | ···splint·-help·flags·alpha |
6329 | To·see·a·full·description·of·all·flags,·do | 6329 | To·see·a·full·description·of·all·flags,·do |
6330 | ···splint·-help·flags·full | 6330 | ···splint·-help·flags·full |
6331 | fputs·("Temporary·files·kept:\n",·g_messagestream)·!=·EOF | 6331 | fputs·("Temporary·files·kept:\n",·g_messagestream)·!=·EOF |
Offset 13839, 15 lines modified | Offset 13839, 15 lines modified | ||
13839 | ··0x001670c0·464f5254·4946595f·534f5552·43453d32·FORTIFY_SOURCE=2 | 13839 | ··0x001670c0·464f5254·4946595f·534f5552·43453d32·FORTIFY_SOURCE=2 |
13840 | ··0x001670d0·202d5766·6f726d61·74202d57·6572726f··-Wformat·-Werro | 13840 | ··0x001670d0·202d5766·6f726d61·74202d57·6572726f··-Wformat·-Werro |
13841 | ··0x001670e0·723d666f·726d6174·2d736563·75726974·r=format-securit | 13841 | ··0x001670e0·723d666f·726d6174·2d736563·75726974·r=format-securit |
13842 | ··0x001670f0·79202020·20202020·20202d66·73746163·y·········-fstac | 13842 | ··0x001670f0·79202020·20202020·20202d66·73746163·y·········-fstac |
13843 | ··0x00167100·6b2d636c·6173682d·70726f74·65637469·k-clash-protecti | 13843 | ··0x00167100·6b2d636c·6173682d·70726f74·65637469·k-clash-protecti |
13844 | ··0x00167110·6f6e202d·6663662d·70726f74·65637469·on·-fcf-protecti | 13844 | ··0x00167110·6f6e202d·6663662d·70726f74·65637469·on·-fcf-protecti |
13845 | ··0x00167120·6f6e2220·6f6e204c·696e7578·206f7375·on"·on·Linux·osu | 13845 | ··0x00167120·6f6e2220·6f6e204c·696e7578·206f7375·on"·on·Linux·osu |
13846 | ··0x00167130·6f736c3 | 13846 | ··0x00167130·6f736c31·2d616d64·36342036·2e312e30·osl1-amd64·6.1.0 |
13847 | ··0x00167140·2d31302d·616d6436·34202331·20534d50·-10-amd64·#1·SMP | 13847 | ··0x00167140·2d31302d·616d6436·34202331·20534d50·-10-amd64·#1·SMP |
13848 | ··0x00167150·20505245·454d5054·5f44594e·414d4943··PREEMPT_DYNAMIC | 13848 | ··0x00167150·20505245·454d5054·5f44594e·414d4943··PREEMPT_DYNAMIC |
13849 | ··0x00167160·20446562·69616e20·362e312e·33382d32··Debian·6.1.38-2 | 13849 | ··0x00167160·20446562·69616e20·362e312e·33382d32··Debian·6.1.38-2 |
13850 | ··0x00167170·20283230·32332d30·372d3237·29207838··(2023-07-27)·x8 | 13850 | ··0x00167170·20283230·32332d30·372d3237·29207838··(2023-07-27)·x8 |
13851 | ··0x00167180·365f3634·20474e55·2f4c696e·75782062·6_64·GNU/Linux·b | 13851 | ··0x00167180·365f3634·20474e55·2f4c696e·75782062·6_64·GNU/Linux·b |
13852 | ··0x00167190·79206a65·6e6b696e·73000000·00000000·y·jenkins....... | 13852 | ··0x00167190·79206a65·6e6b696e·73000000·00000000·y·jenkins....... |
13853 | ··0x001671a0·0a546f20·73656520·74686520·666c6167·.To·see·the·flag | 13853 | ··0x001671a0·0a546f20·73656520·74686520·666c6167·.To·see·the·flag |