Bug path reduction strategies for symbolic execution

Symbolic execution is one of the most powerful tools in static analysis for finding bugs. In this technique the source code is not executed by the CPU, but interpreted statement-by-statement by preserving their semantics as much as possible. During the interpretation the possible values of variables are recorded so the analyzer can report when a variable gets to an invalid state. An additional benefit of such a provided bug report is that not only the place of the bug is returned but the control flow is also displayed which results the erroneous program state. Many times the bug path contains statements which are not related to the bug. These irrelevant statements make it harder to understand in the debugging process, how the error can occur. In this article we present three methods for shortening the bug paths by removing unnecessary bug points and by recognizing two different bug paths as unique if those refer the same bug

Kultusz, identitás, imázs - A kultuszok társadalmi működőképességének elméleti és történelmi aspektusai = Cult, identity, image - Theoretical and historical aspects of social operativity of (literary) cults

A projekt fő célkitűzése többrétű volt: egyrészt az 1980-90-es évek fordulóján elindult irodalmi kultuszkutatás felelevenítése, másrészt újabb, fiatal kutatók bevonása a munkába, harmadrészt a kutatások elméleti alapjainak megerősítése révén az interdiszciplináris kapcsolatok erősítése és a kultuszkutatás beillesztése az ezredforduló irodalom- és társadalomtudományos látképébe. A futamidő alatt számos igen sikeresnek mondható konferencia segítette e cél megvalósulását, több disszertáció és szakdolgozat született a témában, és a kutatócsoporthoz nem tartozó tudósok széles köre csatlakozott a munkához (ennek dokumentuma a kultuszkutatás készülő bibliográfiája is). A kultuszkutatás immár nemcsak irodalom-, hanem társadalom-, politika-, vagy művészettörténeti szempontból is érvényes megközelítésmódnak számít. A futamidő alatt több népszerűvé vált kötetet is megjelentettünk, és további három kötet anyaga vár (egyelőre forrás hiányában) kiadásra. | The aim of our project was many-sided: first, to revive the studies of literary cult begun at the turn of the decade of the 1990s; secondly, to initiate new, young researchers in the project; thirdly, to reinforce interdisciplinary connections by means of strengthening theoretical base of cult research and to incorporate cult studies in the social sciences and literary research of the millennium. During the duration of our project these aims were realized through a number of succesful conferences, several PhD- and Masters of Arts degree were completed on this subject, and many scholars joined to the project from outside the research group (as it is documented in the bibliography of cult research in preparation). Cult research is considered already as a valid approach not only from a literature historical point of view, it?s also important as a social-, political or art-historical access. During the term of the project the research group published several books which became quite popular, and there are also three more books waiting (because of lack of financial source, temporarily) to be published

Szabó Lőrinc kritikai kiadás előkészítése című pályázat folytatása, valamint a kritikai kiadás elkezdése = Continuing the application "Preparations for the Lőrinc Szabó critical edition" and starting the critical edition itself

A kutatóhelyen az elkezdett kutatási irányoknak megfelelően tovább folytattuk a munkát, közelebb jutva a Szabó Lőrinc szöveguniverzum teljességének publikálásához. A publikálással, Szabó Lőrinc topográfia nemzetközi vonatkozásainak feltárásával; a modern nemzetközi elveken alapuló digitális megjelenítésű kritikai kiadás megkezdésével (Föld, Erdő, Isten), a publikált szövegek poétikai eredményeinek felmutatásával a hazai és nemzetközi kánonban igyekeztünk elhelyezni a költő munkásságát. Elkészült a Szabó Lőrinc-hagyatékkönyvtár állományának feldolgozása, a megjelent Szabó Lőrinc Füzetek 3. és 6. (magyar és idegen nyelvű könyvek) kiegészítése, elkezdtük a két füzetnek egy könyvben való megjelentetésének munkáit. Az Akadémia Kézirattárában fellelhető leletek és orvosi dokumentumok alapján megjelentettük a Szabó Lőrinc Füzetek sorozat 7. darabját "Álommá zsongul a tücsökzene" Szabó Lőrinc betegségei címmel. Irodalomtopográfiai munkánk következő állomásaként 2005. őszén Szabó Lőrinc csehországi útjának tiszteletére harmadik emléktáblánkat a Brno melletti Macocha barlang bejáratánál levő vendégház falán avattuk fel. | The Szabó Lőrinc Research Centre has continued its activity according to the research aims that had been determined prevoiusly. The publication of the entirety of Lőrinc Szabó's texts has continued. The publications, the exploration of the international aspects of the Lőrinc Szabó topography, the launching of the digitalised critical edition of the first volume (Föld, Erdő, Isten) according to up-to-date international standards, the poetical analysis of the texts published serve the positioning of the poet in the international literary canon. We have finished the processing of the documents in the Lőrinc Szabó memorial library, which made possible for us to complete the two volumes of the Szabó Lőrinc Booklets (No. 3. and 6.) dealing with the Hungarian and the International books. We have begun the publication of the two volumes in one single book. The medical reports and other documents stored in the Hungarian Academy of Sciences have been used as the basis of a new Booklet (No. 7.) titled 'Álommá zsongul a tücsökzene.' Szabó Lőrinc betegségei. ['Cricket-song Teems into Dream.' The Diseases of Lőrinc Szabó.] Our latest achievement in literary topography was that we placed a memorial tablet (the third in the row) on the wall of the Macocha Cave near Brno (Czech Republic) in the autumn of 2005

A Triple Combination of Targeting Ligands Increases the Penetration of Nanoparticles across a Blood-Brain Barrier Culture Model

Nanosized drug delivery systems targeting transporters of the blood-brain barrier (BBB) are promising carriers to enhance the penetration of therapeutics into the brain. The expression of solute carriers (SLC) is high and shows a specific pattern at the BBB. Here we show that targeting ligands ascorbic acid, leucine and glutathione on nanoparticles elevated the uptake of albumin cargo in cultured primary rat brain endothelial cells. Moreover, we demonstrated the ability of the triple-targeted nanovesicles to deliver their cargo into midbrain organoids after crossing the BBB model. The cellular uptake was temperature- and energy-dependent based on metabolic inhibition. The process was decreased by filipin and cytochalasin D, indicating that the cellular uptake of nanoparticles was partially mediated by endocytosis. The uptake of the cargo encapsulated in triple-targeted nanoparticles increased after modification of the negative zeta potential of endothelial cells by treatment with a cationic lipid or after cleaving the glycocalyx with an enzyme. We revealed that targeted nanoparticles elevated plasma membrane fluidity, indicating the fusion of nanovesicles with endothelial cell membranes. Our data indicate that labeling nanoparticles with three different ligands of multiple transporters of brain endothelial cells can promote the transfer and delivery of molecules across the BBB

Csokonai könyvtár (Bibliotheca studiorum litterarium)

Hogyan jönnek létre a magyar irodalmi klasszikusok szövegkiadásai? Milyen megoldásokat kíván Arany János, Kazinczy és Kölcsey műveinek sajtó alá rendezése? miféle elméleti és materiális természetű feladványok elé állít a kiadói tevékenység? Ez a tematikus tanulmánykötet a 18-19. századi textológia területére kalauzol, s szövegkiadással foglalkozó kutatók eredményeiről ad számot. Tanulmányaik azokra az elméleti kihívásokra reagálnak, amelyek munkájukat az utóbbi időkben érték – olyan tapasztalatokból építkezve, amelyek a tevékenységüket mindenkor kísérik. A kötet egy 2013-as, Miskolcon megrendezett konferencián alapul, amely egy átfogó, a magyarországi szövegkiadások helyzetét áttekinteni kívánó sorozat részeként valósult meg. A tanácskozás a klasszikus magyar irodalom textológiai feldolgozásának időszerű kérdéseit kívánta áttekinteni számos kutatóhely munkatársai bevonásával. Az ebből a vállalkozásból létrejövő, átdolgozott és újrafogalmazott tanulmányok, textológiai és filológiai eredetükre építve, az értelmezés kereteit, műfaji határait kihasználva válnak egy történeti-poétikai szövegértemlezés hordozóivá, elmélyítve az irodalomtörténeti reflexió lehetőségeit. Az esettanulmányok, illetve a teoretikus és módszertani általánosításra is vállalkozó dolgozatok sokrétű, változatos képét rajzolják fel a textológia tudományterületének, s kijelölik a közeljövő számos feladatát is.Kecskeméti Gábor: Előszó - 7 A textológiai reflexió időszerűsége Szilágyi Márton: Textológia, filológia, értelmezés - 15 Debreczeni Attila: Kritikai kiadás papíron és képernyőn - 26 Teoretikus dilemmák a szerzői kritikai kiadásokban Bodrogi Ferenc Máté: Dologi hurok a szellemi műveleten: a szöveg mint nyomtatott termék. A Kazinczy Ferencz’ Munkáji: Szép Literatúra kiadástörténetéhez - 43 Czifra Mariann: A szöveg történeti feltárásának materiális feltételeiről - 57 Granasztói Olga: Kazinczy Ferenc, avagy Abafi Lajos Magyar Pantheonja. Egy új Kazinczy-kiadás előkészületei - 75 Orbán László: A szövegváltozatok öröme. Kapcsolatépítési stratégiák a Kazinczy-levelezésben - 93 S. Varga Pál: „…a keverék-mű a fejedre támad…”. Arany János 1860 és 1882 között keletkezett verseinek alapszövegéről - 116 Hajdu Péter: Szövegváltozat – novellaváltozat – műfajváltozat. A Mikszáth kritikai kiadás némely tapasztalatai - 136 Orosz Beáta: Csokonai költői életművének elektronikus kiadása. Problémák, tanulságok - 153 Kollektív szövegforrások kiadásának kérdései Labádi Gergely: A filológiai tudás formái - 173 Porkoláb Tibor: Szempontok a francia háborúk inszurrekciós költészetének textológiai és filológiai vizsgálatához - 191 Gábori Kovács József: A textológus felelőssége a Pesti Hirlap szerzőségi azonosításainak tapasztalatai alapján - 215 Steinmacher Kornélia: Élclapok a kiegyezés idejében (1865–1867) - 237 A nem szépirodalmi szövegek textológiai dilemmái Balogh Piroska: „Temptare volui possentne proferri in lucem”. Latin nyelvű esztétikai szövegek kiadásának fordításelméleti kérdései - 257 Bátori Anna: Kompilációs olvasás. Hivatkozások és keresőeszközök Paullus Wallaszky historia literariájában - 268 Völgyesi Orsolya: Hogyan dokumentálható egy reformkori politikus tevékenysége? A Kölcsey Ferenc országgyűlési működéséhez kapcsolódó szövegtípusok közléséről - 287 Textológia és értelmezés Biró Annamária: Aranka György: titoknok és magánember. Szerepértelmezési problémák az Aranka-levelezésben - 303 Csonki Árpád: „Arad munkás ’s jó szívű Lantosa”. Peretsenyi Nagy László mint Vörösmarty elődje - 323 Doncsecz Etelka: „Ez az írás éppen nem kedvez a’ németnek.” Szaicz Leó Magyar Világ című történeti munkájáról - 351 Hermann Zoltán: A Himfy-strófa műfaji határai - 373 Rövidítésjegyzék - 391 Névmutató - 39

Modern C++

Készült az ELTE Felsőoktatási Struktúraátalakítási Alapból támogatott programja keretében