Moin.
Gifs unterstützen animierte Bilder. Genau genommen sind es ja zig Bilder zu einem zusammengefasst.
Als *.ico Format geht es hingegen nicht.
Ein Icon in ein Programm "einbauen" geht in vielen Fällen, sofern man ein existentes Icon ersetzen kann.. Die Frage ist hier allerdings, welches Icon und ob das Programm irgendwie gepackt/protected ist.
Grundsätzlich kann man das Programm RessourceHacker verwenden, sofern das Programm nicht geschützt ist. Damit ist es möglich, unter anderem, auch Icons zu editieren.
Ob man es darf, kann ich dir nicht beantworten.
Streng genommen änderst du das Programm. Andererseits kann ich mir nicht vorstellen, dass sich irgendein Hersteller daran stört, wenn du dein eigenes Programm ein klitzekleines Bisschen optisch änderst.
Sofern du nicht gegen die Lizenzbestimimmungen verstösst, sollte alles im grünen Bereich sein.
Achja, IrvanView kann ich dir empfehlen um deine Bilder in Icons zu ändern.
Probier einfach mal ein bisschen rum.
Gruss
root