Hi !

Started synchornizing code windows (cygwin) vs linux. My way of
linking seems to be working fine in linux,
but for some reason does not work in linux. I've added traces into
dehydra (cygwin & linux) - to catch all references
to symbols (function or data), which are exported from gcc by
dehydra.
http://www.geocities.com/tapika/execution_logs.zip
Logs can be found here, by using test.js as script and reference.cpp
as sample code which is being parsed.
(Just a dummy snipet)

Traces won't probably tell you anything, since they are not telling me
anything at least. So I will try to investigate problem
deeper. Cygwin version crashes at some point of execution, and I was
not able to get backtrace from where crash occured -

Problem apparently is described here:
http://www.nabble.com/seg-fault-produces-stackdump-with-no-stack-trace-td18777069.html

Currently my best guess is that jump is occuring by NULL pointer and
backtrace cannot be seen because
of bug in cygwin1.dll (unix "emulation" dll). I've tries to use
cygwin1.dll v1.7 but without success (more problems).

If anyone has any recommendation how to catch where and how crash
occurs, let me know.

Meanwhile - it is somehow possible to add extra traces into source
code - e.g. when entering and leaving some
function, but to instrument the code using some script for that
purpose ?
I have fully functional linux dehydra. Can I make .js script which
obtains all function names in implementation (.cpp)
and file / line numbers. I can pick up from there and create some perl
script, which will add extra prints out into
source code. I mean this would be useful in future as well.


Btw - about printing made by .js script:
> process_type #1={kind:"struct", name:"MyStruct", 
> members:[{name:"MyStruct::a", ...

Is this the same standard:
www.json.org
http://fi.wikipedia.org/wiki/JSON
http://oss.metaparadigm.com/json-c/    (In c)
http://jsoncpp.sourceforge.net/            (In c++).

which your printing follows ?

I've discovered this standard when I was looking for alternative
to .xml file format.
You don't happen to have a parser on C/C++ for it (besides examples
above) ?!
(I have made text parser to parse syntax similar to json - but I'm
following perl
array / hash notation, with some slight changes
- some intro can be found from here:
http://perldoc.perl.org/perldsc.html )

About ESP library...
Readed some article about this. In math terms sounds kinda complex
Needs to be rewritting in programmer's language. :-)
Anyway - I'll try to solve this cygwin issue first (or give up and
find another way).


_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to