* [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
@ 2011-11-09 5:31 ` Alex Jia
2011-11-23 3:28 ` Alex Jia
` (4 subsequent siblings)
5 siblings, 0 replies; 10+ messages in thread
From: Alex Jia @ 2011-11-09 5:31 UTC (permalink / raw)
To: qemu-devel
** Attachment added: "qemu-1.0rc1.err"
https://bugs.launchpad.net/bugs/887883/+attachment/2590257/+files/qemu-1.0rc1.err
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
New
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects
@ 2011-11-09 5:31 Alex Jia
2011-11-09 5:31 ` [Qemu-devel] [Bug 887883] " Alex Jia
` (5 more replies)
0 siblings, 6 replies; 10+ messages in thread
From: Alex Jia @ 2011-11-09 5:31 UTC (permalink / raw)
To: qemu-devel
Public bug reported:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
** Affects: qemu
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
New
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
2011-11-09 5:31 ` [Qemu-devel] [Bug 887883] " Alex Jia
@ 2011-11-23 3:28 ` Alex Jia
2011-11-23 7:51 ` Markus Armbruster
2011-11-23 3:34 ` Alex Jia
` (3 subsequent siblings)
5 siblings, 1 reply; 10+ messages in thread
From: Alex Jia @ 2011-11-23 3:28 UTC (permalink / raw)
To: qemu-devel
This is latest result on qemu-1.0-rc3, and I notice that 'RESOURCE_LEAK'
is 10 now:
Analysis summary report:
------------------------
Files analyzed : 825
Total LoC input to cov-analyze : 576887
Functions analyzed : 20639
Paths analyzed : 896645
Defect occurrences found : 432 Total
2 ARRAY_VS_SINGLETON
4 ATOMICITY
10 CHECKED_RETURN
17 CONSTANT_EXPRESSION_RESULT
62 DEADCODE
42 FORWARD_NULL
10 INFINITE_LOOP
34 MISSING_BREAK
1 MISSING_LOCK
44 NEGATIVE_RETURNS
10 NULL_RETURNS
46 OVERRUN_STATIC
10 RESOURCE_LEAK
78 REVERSE_INULL
1 REVERSE_NEGATIVE
18 SIGN_EXTENSION
7 SIZEOF_MISMATCH
26 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
New
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
2011-11-09 5:31 ` [Qemu-devel] [Bug 887883] " Alex Jia
2011-11-23 3:28 ` Alex Jia
@ 2011-11-23 3:34 ` Alex Jia
2011-12-30 23:59 ` Dr. David Alan Gilbert
` (2 subsequent siblings)
5 siblings, 0 replies; 10+ messages in thread
From: Alex Jia @ 2011-11-23 3:34 UTC (permalink / raw)
To: qemu-devel
** Attachment added: "qemu-1.0-rc3.err"
https://bugs.launchpad.net/qemu/+bug/887883/+attachment/2605559/+files/qemu-1.0-rc3.err
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
New
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-23 3:28 ` Alex Jia
@ 2011-11-23 7:51 ` Markus Armbruster
2011-11-23 8:43 ` Alex Jia
0 siblings, 1 reply; 10+ messages in thread
From: Markus Armbruster @ 2011-11-23 7:51 UTC (permalink / raw)
To: Bug 887883; +Cc: qemu-devel
Alex Jia <887883@bugs.launchpad.net> writes:
> This is latest result on qemu-1.0-rc3, and I notice that 'RESOURCE_LEAK'
> is 10 now:
RESOURCE_LEAK is crippled right now, because Coverity knows nothing
about glib. I started teaching it, and I intend to share when ready.
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-23 7:51 ` Markus Armbruster
@ 2011-11-23 8:43 ` Alex Jia
2011-11-23 12:10 ` Markus Armbruster
0 siblings, 1 reply; 10+ messages in thread
From: Alex Jia @ 2011-11-23 8:43 UTC (permalink / raw)
To: Markus Armbruster; +Cc: qemu-devel, Bug 887883
Markus, I think it will silence Coverity complain,
that sounds good to me, thanks.
Regards,
Alex
----- Original Message -----
From: "Markus Armbruster" <armbru@redhat.com>
To: "Bug 887883" <887883@bugs.launchpad.net>
Cc: qemu-devel@nongnu.org
Sent: Wednesday, November 23, 2011 3:51:10 PM
Subject: Re: [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
Alex Jia <887883@bugs.launchpad.net> writes:
> This is latest result on qemu-1.0-rc3, and I notice that 'RESOURCE_LEAK'
> is 10 now:
RESOURCE_LEAK is crippled right now, because Coverity knows nothing
about glib. I started teaching it, and I intend to share when ready.
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-23 8:43 ` Alex Jia
@ 2011-11-23 12:10 ` Markus Armbruster
0 siblings, 0 replies; 10+ messages in thread
From: Markus Armbruster @ 2011-11-23 12:10 UTC (permalink / raw)
To: Alex Jia; +Cc: qemu-devel, Bug 887883
Alex Jia <ajia@redhat.com> writes:
> Markus, I think it will silence Coverity complain,
> that sounds good to me, thanks.
It'll unveil even more complaints, actually :)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
` (2 preceding siblings ...)
2011-11-23 3:34 ` Alex Jia
@ 2011-12-30 23:59 ` Dr. David Alan Gilbert
2017-01-08 8:54 ` Thomas Huth
2017-03-10 4:17 ` Launchpad Bug Tracker
5 siblings, 0 replies; 10+ messages in thread
From: Dr. David Alan Gilbert @ 2011-12-30 23:59 UTC (permalink / raw)
To: qemu-devel
I believe the ARM ones are bogus (although some could be clearer and
simulataneously clear some of the warnings):
Error: DEADCODE: *** IFDEF dependent
hw/arm_gic.c:409:
dead_error_condition: On this path, the condition "irq < 16" cannot be true.
*** ifdef'd - only true if NVIC defined
hw/arm_gic.c:407:
between: After this line, the value of "irq" is between 32 and 95.
hw/arm_gic.c:406:
assignment: Assigning: "irq" = "(offset - 256U) * 8U + 32U".
hw/arm_gic.c:407:
new_values: Noticing condition "irq >= 96".
hw/arm_gic.c:391:
new_values: Noticing condition "offset < 256U".
hw/arm_gic.c:410:
dead_error_line: Execution cannot reach this statement "value = 255U;".
Error: DEADCODE: *** IFDEF dependent on NVIC
hw/arm_gic.c:434:
dead_error_condition: On this path, the condition "irq < 16" cannot be true.
hw/arm_gic.c:432:
between: After this line, the value of "irq" is between 32 and 95.
hw/arm_gic.c:431:
assignment: Assigning: "irq" = "(offset - 384U) * 8U + 32U".
hw/arm_gic.c:432:
new_values: Noticing condition "irq >= 96".
hw/arm_gic.c:391:
new_values: Noticing condition "offset < 256U".
hw/arm_gic.c:435:
dead_error_line: Execution cannot reach this statement "value = 0U;".
Error: DEADCODE: *** IFDEF dependent on NVIC
hw/arm_gic.c:451:
dead_error_condition: On this path, the condition "irq < 16" cannot be true.
hw/arm_gic.c:449:
between: After this line, the value of "irq" is between 32 and 95.
hw/arm_gic.c:448:
assignment: Assigning: "irq" = "(offset - 512U) * 8U + 32U".
hw/arm_gic.c:449:
new_values: Noticing condition "irq >= 96".
hw/arm_gic.c:391:
new_values: Noticing condition "offset < 256U".
hw/arm_gic.c:452:
dead_error_line: Execution cannot reach this statement "irq = 0;".
Error: DEADCODE: *** IFDEF depedent on NVIC
hw/arm_gic.c:480:
dead_error_condition: On this path, the condition "irq < 32" cannot be true.
hw/arm_gic.c:478:
between: After this line, the value of "irq" is between 32 and 95.
hw/arm_gic.c:477:
assignment: Assigning: "irq" = "offset - 1024U + 32U".
hw/arm_gic.c:478:
new_values: Noticing condition "irq >= 96".
hw/arm_gic.c:472:
new_values: Noticing condition "offset < 1024U".
hw/arm_gic.c:481:
dead_error_line: Execution cannot reach this statement "s->priority1[irq][cpu] = va...".
Error: DEADCODE: *** Set in ifdef 0'd path
arm-dis.c:4012:
dead_error_condition: On this path, the condition "is_data" cannot be true.
arm-dis.c:3874:
const: After this line, the value of "is_data" is equal to 0.
arm-dis.c:3874:
assignment: Assigning: "is_data" = "0".
arm-dis.c:4014:
dead_error_begin: Execution cannot reach this statement "int i;".
Error: NEGATIVE_RETURNS: *** I think the -1 value triggers the increment on line 9957 so it isn't -ve as an index
target-arm/translate.c:9873:
var_tested_neg: Assigning: "lj" = a negative value.
target-arm/translate.c:9961:
negative_returns: Using variable "lj" as an index to array "gen_opc_pc".
Error: OVERRUN_STATIC: *** Safe because irq%8 always =0 and GIC_NIRQ divisible by 8 (but would be better to do irq+8 > GIC_NIRQ
hw/arm_gic.c:274:
assignment: Assigning: "irq" = "(offset - 256U) * 8U".
hw/arm_gic.c:277:
assignment: Assigning: "irq" = "irq += 0".
hw/arm_gic.c:282:
overrun-local: Overrunning static array "s->irq_state", with 96 elements, at position 96 with index variable "irq + i".
Error: OVERRUN_STATIC:
hw/arm_gic.c:235: *** Don't think so, at that point we know array value !=1023 and array value == irq, so irq can't be 1023
overrun-local: Overrunning static array "s->last_active", with 96 elements, at position 1023 with index variable "irq".
Error: OVERRUN_STATIC:
hw/arm_gic.c:235:*** Don't think so, at that point we know array value !=1023 and array value == irq, so irq can't be 1023
overrun-local: Overrunning static array "s->last_active", with 96 elements, at position 1023 with index variable "irq".
Error: OVERRUN_STATIC:
hw/arm_gic.c:461: *** Safe because irq%8=0, and GIC_NIRQ divisibly by 8 (again safer to do irq+8 > GIC_NIRQ)
assignment: Assigning: "irq" = "(offset - 640U) * 8U + 0U".
hw/arm_gic.c:469:
overrun-local: Overrunning static array "s->irq_state", with 96 elements, at position 96 with index variable "irq + i".
Error: OVERRUN_STATIC:
hw/arm_gic.c:235: *** Same as case above???
overrun-local: Overrunning static array "s->last_active", with 96 elements, at position 1023 with index variable "irq".
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
New
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
` (3 preceding siblings ...)
2011-12-30 23:59 ` Dr. David Alan Gilbert
@ 2017-01-08 8:54 ` Thomas Huth
2017-03-10 4:17 ` Launchpad Bug Tracker
5 siblings, 0 replies; 10+ messages in thread
From: Thomas Huth @ 2017-01-08 8:54 UTC (permalink / raw)
To: qemu-devel
AFAIK a lot of issues reported by coverity have been addressed in the
recent versions of QEMU ... is there still anything left here that needs
special attention?
** Changed in: qemu
Status: New => Incomplete
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
Incomplete
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Qemu-devel] [Bug 887883] Re: Coverity scan revealed defects
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
` (4 preceding siblings ...)
2017-01-08 8:54 ` Thomas Huth
@ 2017-03-10 4:17 ` Launchpad Bug Tracker
5 siblings, 0 replies; 10+ messages in thread
From: Launchpad Bug Tracker @ 2017-03-10 4:17 UTC (permalink / raw)
To: qemu-devel
[Expired for QEMU because there has been no activity for 60 days.]
** Changed in: qemu
Status: Incomplete => Expired
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/887883
Title:
Coverity scan revealed defects
Status in QEMU:
Expired
Bug description:
Coverity scan detected some issues such as RESOURCE_LEAK and
REVERSE_INULL etc on qemu-1.0rc1:
Analysis summary report:
------------------------
Files analyzed : 830
Total LoC input to cov-analyze : 576549
Functions analyzed : 20721
Paths analyzed : 858376
New defects found : 428 Total
2 ARRAY_VS_SINGLETON
9 CHECKED_RETURN
19 CONSTANT_EXPRESSION_RESULT
60 DEADCODE
43 FORWARD_NULL
14 INFINITE_LOOP
36 MISSING_BREAK
3 MISSING_LOCK
47 NEGATIVE_RETURNS
1 NO_EFFECT
11 NULL_RETURNS
51 OVERRUN_STATIC
1 RESOURCE_LEAK
79 REVERSE_INULL
20 SIGN_EXTENSION
7 SIZEOF_MISMATCH
15 UNINIT
5 UNREACHABLE
2 UNUSED_VALUE
3 USE_AFTER_FREE
For details, please see attachment.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/887883/+subscriptions
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2017-03-10 4:35 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-11-09 5:31 [Qemu-devel] [Bug 887883] [NEW] Coverity scan revealed defects Alex Jia
2011-11-09 5:31 ` [Qemu-devel] [Bug 887883] " Alex Jia
2011-11-23 3:28 ` Alex Jia
2011-11-23 7:51 ` Markus Armbruster
2011-11-23 8:43 ` Alex Jia
2011-11-23 12:10 ` Markus Armbruster
2011-11-23 3:34 ` Alex Jia
2011-12-30 23:59 ` Dr. David Alan Gilbert
2017-01-08 8:54 ` Thomas Huth
2017-03-10 4:17 ` Launchpad Bug Tracker
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).