Thank you AdaCore

My last post was about the attack method described in 28c3 conference and how it affected AWS servers.

Quickly the folks at AdaCore picked up this issue and in the same day they already had it fixed on their repository. Now they are making public releases with the fix.


It's amazing how quickly they fixed this. And they where really kind on keeping me up to date with the situation.

If you compare this response with the one of larger teams such as Tomcat and PHP I'd say it's a huge win to AdaCore and the Ada community in general.

Thanks AdaCore.

28c3: Effective Denial of Service attacks against web application platforms :: AWS round

Update:  as of 2011-01-19, AdaCore is aware of the situation and is already working on a fix to this problem.

Update 2:  as of 2011-01-19 (yes, the same day), the problem is fixed in the repository (revision 9f1405).

Update 3: AdaCore changed it's name from ACT several years ago. Changed all references to that name accordingly. Sorry about that. :)

Update 4: as Pascal Obry informed in his comment on this post, the updated version is available to all AdaCore customers and the GPL version has been updated at Open-DO forge.

A few weeks ago, the following video has been released:

Well, those guys did a great job not only studying this vulnerability but also spreading the news. Then the question arose: is Ada Web Server vulnerable to this sort of attack?

The short answer is: sadly yes. This post tries to explain how we have tested this issue.

Keep in mind that only if a few hours I managed to get this code working and managed to keep my server at 100% for over 3 minutes with only 46656 variables in my post request.

The compiler used was GNAT GPL 2011. The AWS version is 2.10.0. And the operating system is Sabayon Linux.

Introduction

It all started at the #ada IRC channel at freenode. As I am used to run AWS servers all around I was curious if my servers were vulnerable or not.

After some research on the web I realized there wasn't any official report on the issue and I couldn't find anything useful. So, I went to the chat room and started talking to jesselang.

He discovered the AWS uses the Ada.Strings.Hash function internally. As it isn't really complex I realized we where not safe.
This is the actual implementation of this function (which is actually inside the file s-strhas.adb in your GNAT distribution):

------------------------------------------------------------------------------
--                                                                          --
--                         GNAT COMPILER COMPONENTS                         --
--                                                                          --
--                    S Y S T E M . S T R I N G _ H A S H                   --
--                                                                          --
--                                 S p e c                                  --
--                                                                          --
--             Copyright (C) 2009, Free Software Foundation, Inc.           --
--                                                                          --
-- GNAT is free software;  you can  redistribute it  and/or modify it under --
-- terms of the  GNU General Public License as published  by the Free Soft- --
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
--                                                                          --
--                                                                          --
--                                                                          --
--                                                                          --
--                                                                          --
-- You should have received a copy of the GNU General Public License and    --
-- a copy of the GCC Runtime Library Exception along with this program;     --
-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
--                                                                          --
-- GNAT was originally developed  by the GNAT team at  New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
--                                                                          --
------------------------------------------------------------------------------

pragma Compiler_Unit;

package body System.String_Hash is

   --  Compute a hash value for a key. The approach here is follows the
   --  algorithm used in GNU Awk and the ndbm substitute SDBM by Ozan Yigit.

   ----------
   -- Hash --
   ----------

   function Hash (Key : Key_Type) return Hash_Type is

      pragma Compile_Time_Error
        (Hash_Type'Modulus /= 2 ** 32
          or else Hash_Type'First /= 0
          or else Hash_Type'Last /= 2 ** 32 - 1,
         "Hash_Type must be 32-bit modular with range 0 .. 2**32-1");

      function Shift_Left
        (Value  : Hash_Type;
         Amount : Natural) return Hash_Type;
      pragma Import (Intrinsic, Shift_Left);

      H : Hash_Type;

   begin
      H := 0;
      for J in Key'Range loop
         H := Char_Type'Pos (Key (J))
                + Shift_Left (H, 6) + Shift_Left (H, 16) - H;
      end loop;

      return H;
   end Hash;

end System.String_Hash;

Turns out this is a linear hash function. It should easy to come up with a reverse algorithm, but ...

Generating Strings with Colliding Hash

Generating a code for this should be hard. I haven't got lazy right from the start; I spent like 20 minutes trying to crack this up but as I have no previous experience in doing such thing and binary arithmetic isn't really my thing I decide to go for the brutal force approach. :)

So I generated a short string. Something arbitrary, such as "ccc" (that's actually what I used). And I implemented a dirty loop to generate substrings with 6 characters each with the same has. Bingo! I found out 12 strings but I decided to use only 8 of them for they only had alphanumeric characters.

And here is the pretty thing: as this hash function is linear all I had to do is to combine all those strings. I came up with 46656 combinations in total - only because I didn't want big variable names in my post requests.

Another thing I found out is that it seems to be quite more likely to have collisions in bigger strings. First I tested against "tt" I and came up with only 4 usable collisions. Adding another character gave me twice as much. I haven't really tested this though.

The attack

I decided to use AWS.Client to implement my attack on AWS.Server. Ironic, isn't it?

The code is really simple. Using unbounded string as a buffer I generated a string containing all the post data I needed. And then I invoked the AWS.Client.Post function. The client code is quite fast (really, less than 1 second).

Now the server code. I just implemented a hello world. Simply as that. It's actually a slightly changed version of the code listed in Gem #29 AdaCore have published. The changes where just to check if I was calling AWS.Client right, before I did the not-so-tricky part of generating the post data. Of course.

The results

I ran both client and server in a computer with AMD Athlon(tm) II X4 640 Processor and 4gB ram. The client being small I see no problem. :)

As expected, the client kept my server using 100% of one core. It stayed that way until the process completion, which took well over 3 minutes.

Firing up 5 client instances managed to get a DoS.

Both brutal force, client and server codes have been forwarded to jesselang's email address who kindly will report back to Ada Core Technologies. With any luck we will be seeing a patch for this in the near future.

Conclusion

It was a really bad surprise finding any information about this issue online. I don't know if Ada Core has been working on it already of they have ignored it completely. Until there is a fix for this available, let's hope no one uses this to damage running systems.
 
Even more astonishing is that the development community (with the exception of perl community) assumed plain Hash tables are great for everything. I've avoided it in the past for security reasons myself. After seeing anyone using hash table I decided to use it a lot.... and now I've been using Hash table myself to represent json data and key/value pairs from configuration files. Time to review all my code. :)

FreeBSD :: Dicas para usuários Linux

Sou usuário Linux desde a época do Conectiva Linux (versão 6 acho); cheguei a usar Mandrake 9, Slackare 7 e quando conheci o Gentoo minha vida mudou completamente.

Posso dizer que desde o final da década de 90 (não me recordo o ano exatamente) sou usuário exclusivamente Linux, metendo as caras em Windows e mais recentemente MacOS X somente em ocasiões isoladas por trabalho.

Durante esse tempo diversas vezes eu acabei me aventurando no FreeBSD mas sempre desisti - bem rápido, aliás. Mas isso foi até eu conhecer o ZFS e decidir que quero isso em meus servidores. Dominar o FreeBSD passou a ser uma missão e aprendi o caminho das pedras.

Esse post é uma coleção de dicas para usuários experientes no mundo Linux. Se você é um novato pode pescar varias dicas também, mas não vou ficar explicando coisas do Linux.

Sistema de Arquivos

Por padrão o FreeBSD usa UFS2. Manda bala com esse; esquece ext3, reiserfs ou qualquer outra coisa que esteja acostumado a usar. Não suporta Journaling, mas no lugar implementa outra estratégia que no final garante o mesmo tipo de resultado.

Recomendo começar com o layout de partição recomendado pela instalação; analise-o e crie um equivalente, com uma quantidade generosa de espaço livre para ser usado pelo ZFS mais tarde. Primeiro domine o sistema para depois usar as opções avançadas, mas faça isso de forma planejada.

Ports

O FreeBSD é baseado no excelente ports (que, de fato, inspirou o portage do gentoo). O ports é uma coleção de makefiles localizados em /usr/ports. A primeira reação de um novo usuário é localizar o pacote dentro da arvore de diretórios e mandar ver no make instal clean, por exemplo:

# cd /usr/ports/net/mediatomb && make install clean

Isso funciona, mas o que você vai perceber é que a instalação para no meio a toda hora para configurar alguma dependência; convenhamos que é muito chato ficar horas na frente do computador esperando o gerenciador baixar e instalar tudo só para responder determinados prompts de configuração; mala d+! O processo fica muito mais simples usando o portinstall. O comando equivalente ajuda bastante:

portinstall -c mediatomb

A opção -c do portinstall faz com que todos os prompts de configuração sejam apresentados no começo do processo. Isso acelera bastante e torna a administração do sistema muito mais prazerosa (e nesse ponto eu pessoalmente acho que acaba ganhando das USE flags do gentoo, já que você é forçado a ler as opções na hora de instalar e a configuração é por pacote, não system-wide).

Embora isso permita um controle absoluto sob como cada pacote se comporta, cada pacote é compilado a partir dos fontes; se você está em uma máquina antiga e não tem muito saco para esperar compilar tudo, não vale a pena. A opção é usar os pacotes binários.

Pacotes Binários

Pacotes binários com configuração padrão existem. São vários e podem ser baixados via ftp e então instalados com o pkg_add. Mas uma coisa que não tem o destaque merecido é a opção -r dessa ferramenta. Com ela o pkg_add se comporta como o equo ou o apt-get se comporta por padrão. Baixa e instala todas as dependências de acordo. Por exemplo, para instalar o KDE 4 com todas suas dependências basta chamar:

pkg_add -r kde4

Initscripts

Eu, como todo bom Gentooer, estou super acostumado com a excelente ferramenta rc-update. Infelizmente ela não existe, mas algo bem inteligente foi bolado. O arquivo /etc/rc.conf. Basicamente, nesse exemplo do mediatomb, basta colocar a linha:

mediatomb_enable="YES"

Outra opções interessantes existem nesse arquivo; vale a pena dar uma olhada.

Kernel modules

Módulos do kernel podem ser carregados manualmente pela ferramenta kldload. E para módulos específicos, como o ZFS, existem initiscripts.

O que mais?

A primeira fonte de informação deve ser o FreeBSD handbook, que pode ser encontrado aqui. De resto, use o google e sempre que precisar o canal IRC ##freebsd no servidor freenode.org está cheio de desenvolvedores prestativos.

KOW Framework still on the works...

I have been working on the KOW framework for a couple of years now. So much we have accomplished, and then rewritten and finally we are really close of a public release with some tutorials and stuff like that.

So, in order to celebrate that I decided to write a simple overview on the framework and what it is all about. So, here it is.

The framework was designed with simplicity and modularity in mind. Once you have your application up and running it should be straightforward to extend and maintain it. You shouldn't have to worry about versioning much (well, you need some sort of versioning but not as grained as "take the revision #1012023".... a simple "use the release 2.0" should be enough).

Also, memory management is a big concern (after all it is a server based framework.. all users will be using the same memory space on the server).

We did our best to make it robust, fast and small. Yes, being small is actually a good thing. The framework has no tool for handling complex scripts. Neither for processing images or any of the sorts. If you need something that does that you should by all means use GNAT.Expect package for calling other process (which can be considered an ugly workaround but works like magic) or implement your own (or even find a 3rd party) package. You can put this package inside your app folder and you will be just fine.

A more detailed post about the framework and how to use it is yet to be written. Actually, our biggest issue right now is not having a decent set of introduction documentation. It's quite easy to use the framework after you got yourself used to the main libraries (only tree are quite important here: kowconfig, kowview and kowent) but there is no "make a blog in 2 minutes" kind of documentation (which I think is quite possible and easy to do... but I tend to get busy with other things easily).

Samsung Galaxy receberá Upgrade no Brasil

Após muita reclamação por parte dos usuários (incluindo esse que escreve, veja posts relacionados) a @SamsungBrasil anunciou que está trabalhando na correção dos bugs encontrados na versão da FW distribuída com o aparelho no Brasil.

Do twitter:

Temos desenvolvido melhorias para o Galaxy.Pontos citados na web foram trabalhados na atualização do SW p/ Sistema Operacional 1.5

Após conclusão desse desenvolvimento e homologação nas operadoras,a atualização do firmware será disponibilizada gratuitamente

Agora só nos resta esperar e torcer para que os bugs sejam realmente resolvidos.

Samsung Galaxy e @SamsungBrasil no twitter :: Resposta

Foi rápido! Já recebi a resposta... pontinho positivo por isso. Primeiro a mensagem, depois meus comentários

Prezado Sr. Marcelo Coraça
Agradecemoso seu contato e informamos que conforme exposto,
compreendemos seu descontentamento quanto ao fato ocorrido, desde já, a
gradecemos sua mensagem e ressaltamos que a mesma é muito importante para que o crescimento da marca, bem como, para o desenvolvimen
to dos produtos Samsung.
A Samsung busca sempre, melhorar sua imagem junto às sugestões e
reclamações recebidas dos nossos clientes.

------------------------------------------------------------------------

Se você tiver perguntas adicionais ou qualquer outro comentário, por
favor não hesite em nos contatar novamente.

Samsung Eletronics
Serviço de Atendimento ao Consumidor
Telefone: 4004-0000

Atenciosamente,
Nome: Ana , Paula nery rosmaninho
Designação: SAC

Bom, típica mensagem se desviando do assunto.. aliás, tem muita cara de resposta automática para reclamações...

O problema persiste, a Samsung continua se desviando... vamos ver o q rola daqui pra frente...

Samsung Galaxy e @SamsungBrasil no twitter... vergonha!

É foda...

eu comprei um samsung galaxy.. o hardware do aparelho é simplesmente fenomenal. Ele é leve, a tela tem um brilho maravilhoso (da pra usar sem problemas em baixo de um sol de 40 graus de Guarujá) mas a versão do sistema que vem nele é antiga; e o pior: bugada pra burro!

Cansado disso e cansado de levar olé da @SamsungBrasil (que decidiu simplesmente ignorar quem reclama do Galaxy... nem respondem mais a perguntas, mesmo quando feitas de forma educada e bibibi bóbóbó) eu resolvi enviar um email reclamando (pelo "fale conosco" do site deles).

Aqui vai a mensagem na íntegra. Pretendo publicar a resposta caso receba alguma também.

Olá,

Comprei o celular Samsung Galaxy contando que o celular de ponta da Samsung fosse realmente um celular de ponta.

Para meu desgosto, fiquei sabendo depois que o sistema instalado é o Android 1.5, uma versão com mais de dois anos de idade (e o modelo ACABOU de ser lançado no Brasil) e não há atualização alguma. Se fosse somente isso estaria bom.

Há diversos bugs. Entre eles a duração da bateria é ridícula, pra não dizer outra coisa. O botão de bloqueio passa a somente desligar o monitor (que é religado quando qualquer outra tecla é pressionada) quando faço uma ligação usando 0DDDNUMERO (como 01140047777). E isso é sempre! Ou seja, tenho que mudar todos os números da minha agenda para prender o número da operadora (ridículo, já que a agenda fica online nos servidores do google e eu posso querer sincronizar com outro aparelho/operadora ao mesmo tempo.

E por mais absurdo que pareça, para todos esses problemas já existe correção; há relatos pela internet que todos esses problemas foram resolvidos em upgrades liberados na europa. Mas o sistema da Samsung nem reconhece meu aparelho como sendo válido na hora de buscar upgrades!

Indignado com a situação eu fiz como outros usuários: entrei em contato via twitter. A primeira resposta foi "se houver upgrade avisamos". Comecei a insistir em uma resposta mais concreta e sabe o que aconteceu? O representante da samsung no twitter passou a simplesmente me ignorar! Fez isso com os outros usuários que reclamaram.

A indignação pela posição de não liberar upgrades (ao contrário da Motorola e HTC) que a Samsung tomou tem gerado indignação de usuários pelo mundo inteiro e irá, sem sombra de dúvidas, refletir negativamente nas vendas de smart phones (em especial com Android) da empresa. Esse desrespeito todo com o consumidor, no final das contas, está me levando a nunca mais querer comprar aparelhos da Samsung.

Possuo um Home Theater, uma TV de 32 polegadas e dois monitores (um de 19 e outro de 21 polegadas) da Samsung. Eu era um cliente fiel e recomendava para todos meus amigos. Agora minha recomendação tem sido: comprem qualquer marca, menos Samsung por que se você precisar de algo após a venda eles vão te deixar na mão.

O upgrade é possível e é barato para uma empresa com o porte da Samsung. Prova disso são usuários que vêm desenvolvendo versões não oficiais de releases mais recentes do Android para o Galaxy. Entre eles existem o Galaxo ( http://www.uht.me/galaxo/ ), que fornece Android 1.6 e o Mustymod ( http://mustymod.forumotion.com/ ) implementação 100% opensource para suportar o 2.1... já suporta quase tudo, exceto a camera.

Eu ainda não fiz o upgrade do firmware para não perder a garantia; vai que da algum pau de hardware em coisa de 1 mês eu acabo perdendo um aparelho de 1600 reais.

O fato é: estou indignado com essa posição da Samsung. Mais ainda com a decisão de ignorar publicamente seus clientes quando eles não estão satisfeitos. Não compro de quem me desrespeita.

Grato (se é que vão ler esse email...)

Marcelo