int main (void)
{
char chaine[20];
concatenation(chaine, 20, "123", "456", "7890", "1234", NULL);
fprintf(stdout, "%s\n", chaine);
concatenation(chaine, 20, "1234567890", "1234567890", "123", NULL);
fprintf(stdout, "%s\n", chaine);
return EXIT_SUCCESS;
}
BVValue BVValue::concat(const BVValue& _other) const {
Base concatenation(mValue);
concatenation.resize(width() + _other.width());
concatenation <<= _other.width();
Base otherResized = static_cast<Base>(_other);
otherResized.resize(concatenation.size());
concatenation |= otherResized;
return BVValue(std::move(concatenation));
}
int main()
{
int i, j, StringLength, product = 1;
int GlobalString [100010];
int LocalString [5] = {0};
for (i=0; i<100010; i++)
GlobalString[i] = EOF;
for (i=0; ;i++) {
DigitListing(i, LocalString);
StringLength = concatenation(GlobalString, LocalString);
if (StringLength > 100000)
goto print;
}
print:
for (j=0; j<6; j++)
product *= GlobalString[(int) pow(10,j)];
printf ("%d", product);
return 0;
}
exprt flatten_byte_extract(
const exprt &src,
const namespacet &ns)
{
assert(src.id()==ID_byte_extract_little_endian ||
src.id()==ID_byte_extract_big_endian);
assert(src.operands().size()==2);
bool little_endian;
if(src.id()==ID_byte_extract_little_endian)
little_endian=true;
else if(src.id()==ID_byte_extract_big_endian)
little_endian=false;
else
assert(false);
if(src.id()==ID_byte_extract_big_endian)
throw "byte_extract flattening of big endian not done yet";
unsigned width=
integer2long(pointer_offset_size(ns, src.type()));
const typet &t=src.op0().type();
if(t.id()==ID_array)
{
const array_typet &array_type=to_array_type(t);
const typet &subtype=array_type.subtype();
// byte-array?
if((subtype.id()==ID_unsignedbv ||
subtype.id()==ID_signedbv) &&
subtype.get_int(ID_width)==8)
{
// get 'width'-many bytes, and concatenate
exprt::operandst op;
op.resize(width);
for(unsigned i=0; i<width; i++)
{
// the most significant byte comes first in the concatenation!
unsigned offset_i=
little_endian?(width-i-1):i;
plus_exprt offset(from_integer(offset_i, src.op1().type()), src.op1());
index_exprt index_expr(subtype);
index_expr.array()=src.op0();
index_expr.index()=offset;
op[i]=index_expr;
}
if(width==1)
return op[0];
else // width>=2
{
concatenation_exprt concatenation(src.type());
concatenation.operands().swap(op);
return concatenation;
}
}
else // non-byte array
{
const exprt &root=src.op0();
const exprt &offset=src.op1();
const typet &array_type=ns.follow(root.type());
const typet &offset_type=ns.follow(offset.type());
const typet &element_type=ns.follow(array_type.subtype());
mp_integer element_width=pointer_offset_size(ns, element_type);
if(element_width==-1) // failed
throw "failed to flatten non-byte array with unknown element width";
mp_integer result_width=pointer_offset_size(ns, src.type());
mp_integer num_elements=(element_width+result_width-2)/element_width+1;
// compute new root and offset
concatenation_exprt concat(
unsignedbv_typet(integer2long(element_width*8*num_elements)));
exprt first_index=
(element_width==1)?offset
: div_exprt(offset, from_integer(element_width, offset_type)); // 8*offset/el_w
for(mp_integer i=num_elements; i>0; --i)
{
plus_exprt index(first_index, from_integer(i-1, offset_type));
concat.copy_to_operands(index_exprt(root, index));
}
// the new offset is width%offset
exprt new_offset=
(element_width==1)?from_integer(0, offset_type):
mod_exprt(offset, from_integer(element_width, offset_type));
// build new byte-extract expression
exprt tmp(src.id(), src.type());
tmp.copy_to_operands(concat, new_offset);
return tmp;
}
}
else // non-array
{
// We turn that into logical right shift and extractbits
const exprt &offset=src.op1();
const typet &offset_type=ns.follow(offset.type());
mult_exprt times_eight(offset, from_integer(8, offset_type));
lshr_exprt left_shift(src.op0(), times_eight);
extractbits_exprt extractbits;
extractbits.src()=left_shift;
extractbits.type()=src.type();
extractbits.upper()=from_integer(width*8-1, offset_type);
extractbits.lower()=from_integer(0, offset_type);
return extractbits;
}
}
int creer_serveur(int port) {
int socket_serveur ;
socket_serveur = socket ( AF_INET , SOCK_STREAM , 0);
if ( socket_serveur == -1)
{
perror ( " socket_serveur " );
/* traitement de l ’ erreur */
}
/* Utilisation de la socket serveur */
struct sockaddr_in saddr;
saddr.sin_family = AF_INET; /* Socket ipv4 */
saddr.sin_port = htons (port); /* Port d ’ écoute */
saddr.sin_addr.s_addr = INADDR_ANY; /* écoute sur toutes les interfaces */
/*Ajout de la modif socket*/
int optval = 1;
if (setsockopt(socket_serveur, SOL_SOCKET, SO_REUSEADDR, &optval, sizeof(int)) == -1)
perror("Can not set SO_REUSEADDR");
if (bind(socket_serveur , (struct sockaddr*)&saddr, sizeof(saddr)) == -1)
{
perror ( " bind socker_serveur " );
/* traitement de l ’ erreur */
}
if ( listen ( socket_serveur , 10) == -1)
{
perror ("listen socket_serveur");
/* traitement d ’ erreur */
}
int socket_client;
/* On peut maintenant dialoguer avec le client */
const char *message_bienvenue = " Bonjour , bienvenue sur mon serveur. Ce serveur est un projet d'un étudiant de Lille 1 dans le module 'Prog Sys'. \n Mon nom est Yann Garbé et je suis le créateur de ce serveur. Bon pour l'instant, il ne sert pas à grand chose, je vous l'accorde mais j'espère qu'il grandira.\n Avant tout, merci d'utiliser ce serveur ! \n Aussi, ce projet est disponible sur GitHub ici : 'https://github.com/YannGarbe'. Vous pouvez consulter la page si vous la voulez mais il n'y a pas grand chose.\n Petit poème : \nA travers les soupirs, les plaintes et le râle\nPoursuivons jusqu’au bout la funèbre spirale\nDe ses détours maudits.\nNotre guide n’est pas Virgile le poëte,\nLa Béatrix vers nous ne penche pas la tête\nDu fond du paradis.\n\nPour guide nous avons une vierge au teint pâle\nQui jamais ne reçut le baiser d’or du hâle\nDes lèvres du soleil.\nSa joue est sans couleur et sa bouche bleuâtre,\nLe bouton de sa gorge est blanc comme l’albâtre,\nAu lieu d’être vermeil.\n\nUn souffle fait plier sa taille délicate ;\nSes bras, plus transparents que le jaspe ou l’agate,\nPendent languissamment ;\nSa main laisse échapper une fleur qui se fane,\nEt, ployée à son dos, son aile diaphane\nReste sans mouvement.\n\nPlus sombres que la nuit, plus fixes que la pierre,\nSous leur sourcil d’ébène et leur longue paupière\nLuisent ses deux grands yeux,\nComme l’eau du Léthé qui va muette et noire,\nSes cheveux débordés baignent sa chair d’ivoire\nA flots silencieux.\n\nDes feuilles de ciguë avec des violettes\nSe mêlent sur son front aux blanches bandelettes,\nChaste et simple ornement ;\nQuant au reste, elle est nue, et l’on rit et l’on tremble\nEn la voyant venir ; car elle a tout ensemble\nL’air sinistre et charmant.\n\nQuoiqu’elle ait mis le pied dans tous les lits du monde,\nSous sa blanche couronne elle reste inféconde\nDepuis l’éternité.\nL’ardent baiser s’éteint sur sa lèvre fatale,\nEt personne n’a pu cueillir la rose pâle\nDe sa virginité.\n\nThéophile Gautier, La comédie de la mort\n\n" ;
char buffer [512];
sleep(1);
int pid;
FILE * file;
int erreur = 1;
int errorNotFound = 0;
int first = 0;
char * msgError="\nHTTP/1.1 400 Bad Request\n\rConnection: close\n\rContent-Length: 17 \n\n\r400 Bad request\n\r\n";
char * msgSuccess="\nHTTP/1.1 200 OK\n\rContent-Length: \n\n";
char * msgNotFound="\nHTTP/1.1 404 Not Found\n\rConnection: close\n\rContent-Length: 17 \n\n\r404 Not Found\n\r";
initialiser_signaux();
while ((socket_client = accept(socket_serveur, NULL, NULL)) != -1)
{
file = fdopen (socket_client , "w+" );
if (file==NULL)
{
perror("fdopen");
}
pid = fork();
if (pid == 0)
{
//write ( socket_client, message_bienvenue , strlen(message_bienvenue));
/*while(fgets(buffer, 512, file) != NULL)
{*/
char * msg;
while((msg=req(buffer, file, sizeof(buffer)/sizeof(buffer[0]))))
{
//fprintf(file, "<mygaServer> %s", buffer);
//printf("%s\n", buffer);
if(errorNotFound==1 && ((strcmp(msg,"\r\n")==0)||(strcmp(msg,"\n")==0))){
fprintf(file, msgNotFound);
errorNotFound=0;
first = 0;
}
else if(erreur==1 && ((strcmp(msg,"\r\n")==0)||(strcmp(msg,"\n")==0)))
{
fprintf(file, msgError);
first = 0;
}
else if(errorNotFound == 0 && erreur==0 && ((strcmp(msg,"\r\n")==0)||(strcmp(msg,"\n")==0)))
{
char str[15];
sprintf(str, "%d", (int)strlen(message_bienvenue));
char * message_end = concatenation(str,"\n\n\r200 OK\n\r");
msgSuccess = concatenation(msgSuccess,message_end);
fprintf(file, msgSuccess);
msgSuccess="\nHTTP/1.1 200 OK\n\rContent-Length: ";
printf("Connection Accomplie!\n");
erreur=1;
first = 0;
fprintf(file, message_bienvenue);
}
if(verif(msg)==0 && first==0)
{
erreur=0;
}
else if (verif(msg) ==404 && first==0)
{
errorNotFound = 1;
}
if(msg && ((strcmp(msg,"\r\n")!=0)&&(strcmp(msg,"\n")!=0))){
first = 1;
}
}
fclose(file);
exit (0);
} else {
close(socket_client);
}
}
//close(socket_serveur);
return port;
}