On Sat, Mar 20, 2010 at 2:42 PM, Masao Uebayashi uebay...@gmail.com wrote:
audio(4) and tty(4) are very different from my view; audio(4) has the
single entry and drivers implement backend. tty(4) is a common
interface through which kernel accesses serial devices (correct me if
wrong).
I'm
On Fri, Mar 19, 2010 at 05:51:46PM -0500, KAMADA Ken'ichi wrote:
I'm seeing a panic: ffs_valloc: dup alloc.
Does anyone have a similar panic?
I have seen various file system panics after suspend/resume for quite
a while:
NetBSD rover 5.99.18 NetBSD 5.99.18 (ROVER2) #10: Tue Sep 29 08:18:23
On Mar 20, 2010, at 7:59 AM, Brett Lymn wrote:
On Fri, Mar 19, 2010 at 05:51:46PM -0500, KAMADA Ken'ichi wrote:
I'm seeing a panic: ffs_valloc: dup alloc.
Does anyone have a similar panic?
I have seen various file system panics after suspend/resume for quite
a while:
NetBSD rover
Hi,
My proposal is to write syscall/libc fuzzer, i've written down my thoughts,
please let me know what you think about it. I would appreciate your feedback.
I'm open for any ideas or comments.
1. What is fuzzing?
Fuzz testing is a software testing technique that provides random/invalid data
to
On Sat, Mar 20, 2010 at 3:32 PM, Mateusz Kocielski
m.kociel...@gmail.com wrote:
Hi,
My proposal is to write syscall/libc fuzzer, i've written down my thoughts,
please let me know what you think about it. I would appreciate your feedback.
I'm open for any ideas or comments.
1. What is
On Sun, Mar 21, 2010 at 1:01 AM, Matt Thomas m...@3am-software.com wrote:
I'm talking about maj, min to device. How, as a user, do I know what
actual tty does /dev/ttyXX open?
If we make tty(4) a device, we can lookup its parent by drvctl(8)
(extend it to return dv_parent).
My question is -
On Mar 20, 2010, at 8:37 AM, Masao Uebayashi wrote:
On Sun, Mar 21, 2010 at 12:14 AM, Matt Thomas m...@3am-software.com wrote:
Which is fine if you have one type of serial port, but if you have a mix of
devices all providing serial ports how do you know what tty is going to what
serial
On Sun, Mar 21, 2010 at 1:43 AM, Matt Thomas m...@3am-software.com wrote:
On Mar 20, 2010, at 9:06 AM, Masao Uebayashi wrote:
On Sun, Mar 21, 2010 at 1:01 AM, Matt Thomas m...@3am-software.com wrote:
I'm talking about maj, min to device. How, as a user, do I know what
actual tty does
On Sat, 20 Mar 2010, Mateusz Kocielski wrote:
...your ideas?
Reminds me of 1991's crashme: http://crashme.codeplex.com/
The idea sounds more like a research project to me...
- Hubert
2010/3/20 Thor Lancelot Simon t...@panix.com:
What is the benefit of this when compared to existing static-analysis
tools such as Coverity Scan, splint, or the Clang static analyzer? Will
this cover any cases they don't? If so, which ones?
Undecidability is the limit for static-analysis.
On Sat, Mar 20, 2010 at 01:54:49PM -0400, Elad Efrat wrote:
Thor Lancelot Simon wrote:
If not, I don't think this adds any benefit to your proposal and is likely
to simply be a distraction; I'd urge you in that case to drop it.
Strongly seconded. There are so many great ways to improve NetBSD
On Sat, Mar 20, 2010 at 12:40:12PM -0400, Thor Lancelot Simon wrote:
As a part of my work I would like to write a translator for C
language and a small library. Their goal would be to detect
integer overflows, stack overflows, problems with static array
indexing, etc (when such occur
On Sat, Mar 20, 2010 at 3:24 PM, David Holland dholland-t...@netbsd.org wrote:
On Sat, Mar 20, 2010 at 01:54:49PM -0400, Elad Efrat wrote:
Thor Lancelot Simon wrote:
If not, I don't think this adds any benefit to your proposal and is likely
to simply be a distraction; I'd urge you in that case
On Sat, Mar 20, 2010 at 10:29:44PM +1030, Brett Lymn wrote:
I have given up on suspending because my filesystems would be
corrupted with monotonous regularity. The chances of a corruption
seems to increase with the amount of disk activity happening on
suspend. It seems like something is
On Sat, Mar 20, 2010 at 03:40:33PM -0400, Elad Efrat wrote:
If not, I don't think this adds any benefit to your proposal and
is likely to simply be a distraction; I'd urge you in that case
to drop it.
Strongly seconded. There are so many great ways to improve NetBSD and
wasting time
On Mar 20, 2010, at 3:49 PM, David Holland wrote:
On Sat, Mar 20, 2010 at 10:29:44PM +1030, Brett Lymn wrote:
I have given up on suspending because my filesystems would be
corrupted with monotonous regularity. The chances of a corruption
seems to increase with the amount of disk activity
On Sat, Mar 20, 2010 at 04:06:32PM -0400, Steven Bellovin wrote:
That suggests that something is flushing buffers to a device that's
suspended and it's throwing them away instead of rejecting them or
panicing.
Possibly
Although it doesn't quite make sense, because in most cases
On Mar 20, 2010, at 4:17 PM, David Holland wrote:
On Sat, Mar 20, 2010 at 04:06:32PM -0400, Steven Bellovin wrote:
That suggests that something is flushing buffers to a device that's
suspended and it's throwing them away instead of rejecting them or
panicing.
Possibly
Although it
On Mar 20, 2010, at 3:35 PM, David Holland wrote:
On Sat, Mar 20, 2010 at 12:40:12PM -0400, Thor Lancelot Simon wrote:
As a part of my work I would like to write a translator for C
language and a small library. Their goal would be to detect
integer overflows, stack overflows, problems with
On Sat, Mar 20, 2010 at 05:03:16PM -0400, Steven Bellovin wrote:
Let me see if I can find my first note on the subject -- it might
give a clue about the date of any changes.
Turns out that I sendpr-ed it in September: kern/42104.
I even responded to the PR, not that I had any useful
On Sat, Mar 20, 2010 at 09:43:21AM -0700, Matt Thomas wrote:
On Mar 20, 2010, at 9:06 AM, Masao Uebayashi wrote:
On Sun, Mar 21, 2010 at 1:01 AM, Matt Thomas m...@3am-software.com wrote:
I'm talking about maj, min to device. How, as a user, do I know what
actual tty does /dev/ttyXX
On Fri, Mar 19, 2010 at 05:30:43PM -0400, Thor Lancelot Simon wrote:
On Fri, Mar 19, 2010 at 09:23:35PM +, Herb Peyerl wrote:
Last time I bought a cavium board it was $5k USD... An Octeon 3850
was $700 for 1521 piece part... I didn't think they had anything
reasonable down below
On Sat, Mar 20, 2010 at 05:32:28PM +0200, Mateusz Kocielski wrote:
4. What are my main goals?
* write syscall/libc fuzzer
* develop additional tools to fuzzer environment
* cover as much project code as possible during testing
Mateusz,
I'm going to seize on one of your goals, sorry. :-)
On Sat, Mar 20, 2010 at 08:53:12PM +0200, Mateusz Kocielski wrote:
2010/3/20 Thor Lancelot Simon t...@panix.com:
What is the benefit of this when compared to existing static-analysis
tools such as Coverity Scan, splint, or the Clang static analyzer? ?Will
this cover any cases they don't?
At Fri, 19 Mar 2010 21:23:35 +, Herb Peyerl hpey...@beer.org wrote:
Subject: Re: Dead ports [Re: config(5) break down]
On Fri, Mar 19, 2010 at 05:19:47PM -0400, Thor Lancelot Simon wrote:
Have a look at
On Sun, 21 Mar 2010, Jukka Ruohonen wrote:
This part certainly gets complicated, and a C3 variation may sound
like the right thing to do. I think it would be best if the drivers
could reset the limits internally with an appropriate reset command
issued directly to the underlying hardware as
On Sat, Mar 20, 2010 at 05:32:28PM +0200, Mateusz Kocielski wrote:
As a part of my work I would like to write a translator for C language and a
small library. Their goal would be to detect integer overflows, stack
overflows,
problems with static array indexing, etc (when such occur during the
On Sat, Mar 20, 2010 at 06:38:57PM -0500, David Young wrote:
On Sat, Mar 20, 2010 at 05:32:28PM +0200, Mateusz Kocielski wrote:
4. What are my main goals?
* write syscall/libc fuzzer
* develop additional tools to fuzzer environment
* cover as much project code as possible during
28 matches
Mail list logo