Configure said 'kernel version... unsupported' about avalanche HOT 13 CLOSED

Our version of valgrind (I assume you did a checkout of trunk version) is not 
the latest one. Try using this patch on valgrind configure.ac:

cd path_to_avalanche/valgrind
patch -i valgrind_configure_patch

Then repeat the whole installation sequence.

Good evening, sorry for not answering here. Yes, I really did a checkout of 
trunk version. I've used your patch but now there is another problem:

checking the GLIBC_VERSION version... unsupported version 2.13
configure: error: Valgrind requires glibc version 2.2 - 2.12
configure: error: ./configure failed for valgrind

Btw, seems like you're from Russia so if's acceptable for you to speak Russian 
in your issue tracker, I don't mind it ;)

Ah, there is a bug about unsupported version of glibc, sorry for duplicating it 
then.

Sorry for the delay in answering. Have you successfully run Avalanche?

P.S. And again sorry, we try to use English in our issue tracker. If you want 
to email us about your suggestions/results (which we will be glad to receive 
:)), feel free to use Russian.

Unfortunately no, as I have already said, valgrind requires glibc version 2.2- 
2.12, and I've got another versions which doesn't fit the requirements.

I was entirely sure there is a patch for valgrind configure script in that 
issue, sorry. You can use this patch or checkout development branch (not 
advised since it's not stable).

cd /path/to/avalanche
patch -p0 -i patch.diff

It helps me to finish successfully autogen.sh and ./configure, but while 
compiling I receive this error:

make[3]: Вход в каталог 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008/parser'
yacc -d -v PL.y
yacc -d -v PL.y
g++ -DHAVE_CONFIG_H -I. -I.. -I../sat/mtl -I../sat/core -I../sat/simp    -g -O2 
-MT let-funcs.o -MD -MP -MF .deps/let-funcs.Tpo -c -o let-funcs.o let-funcs.cpp
/bin/bash: yacc: команда не найдена
/bin/bash: yacc: команда не найдена
make[3]: *** [parsePL_defs.h] Ошибка 127
make[3]: *** Ожидание завершения заданий...
make[3]: *** [parsePL.cpp] Ошибка 127
In file included from /usr/include/c++/4.6/ext/hash_map:61:0,
                 from ../AST/AST.h:19,
                 from let-funcs.cpp:10:
/usr/include/c++/4.6/backward/backward_warning.h:33:2: 
предупреждение: #warning This file includes at least one 
deprecated or antiquated header which may be removed without further notice at 
a future date. Please use a non-deprecated interface with equivalent 
functionality instead. For a listing of replacement headers and interfaces, 
consult the file backward_warning.h. To disable this warning use 
-Wno-deprecated. [-Wcpp]
mv -f .deps/let-funcs.Tpo .deps/let-funcs.Po
make[3]: Выход из каталога 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008/parser'
make[2]: *** [all-recursive] Ошибка 1
make[2]: Выход из каталога 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008'
make[1]: *** [all] Ошибка 2
make[1]: Выход из каталога 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008'
make: *** [all-recursive] Ошибка 1

We've just been reported about STP configure script not reporting the absence 
of yacc and flex.

You'll need to install GNU bison (http://www.gnu.org/s/bison/). Or use 'sudo 
apt-get install bison'. In case flex is also missing, go to 
http://flex.sourceforge.net/ or use 'sudo apt-get install flex'.

Installing these should get you a complete build.

I had another problem with compiling it. There were a lot of warnings but I 
think this is the reason why compiling stopped. 

FileBuffer.cpp: In constructor «FileBuffer::FileBuffer(const char*)»:
FileBuffer.cpp:44:22: предупреждение: ignoring return value of 
«ssize_t read(int, void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
In file included from Input.cpp:24:0:
../include/Input.h:36:31: ошибка: нет декларации «NULL» в 
этой области видимости
mv -f .deps/FileBuffer.Tpo .deps/FileBuffer.Po
g++ -DPACKAGE_NAME=\"avalanche\" -DPACKAGE_TARNAME=\"avalanche\" 
-DPACKAGE_VERSION=\"0.5.0\" -DPACKAGE_STRING=\"avalanche\ 0.5.0\" 
-DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"avalanche\" 
-DVERSION=\"0.5.0\" -I. -I../include    -g -O2 -pthread -MT STP_Executor.o -MD 
-MP -MF .deps/STP_Executor.Tpo -c -o STP_Executor.o STP_Executor.cpp
Input.cpp: В функции-члене «void Input::dumpFiles(char*, const 
char*)»:
Input.cpp:88:57: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp: В функции-члене «void Input::dumpExploit(const char*, 
bool, const char*)»:
Input.cpp:61:32: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp:64:49: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp:65:51: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp:72:57: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
make[2]: *** [Input.o] Ошибка 1

Sorry for bothering you with this compiling stuff.

Not 100% sure it will work, but try this patch.

cd /path/to/avalanche
patch -p0 -i null_patch

It seems to compile now, thanks a lot for your help! Now I need to read some 
manuals about Avalanche.. :) Feel free to close this ticket if it's not needed 
for you.

Great, we will be welcome for any feedback!

Fixed for avalanche-0.6