JavaScript forráskódtárak gráfalapú statikus analízise
•
0 likes•87 views
BME-VIK MIT FTSRG Diplomatervezés 1 prezentáció
Recommended
More Related Content
Featured
Featured (20)
JavaScript forráskódtárak gráfalapú statikus analízise
- 3. – Nem csak weboldalak programozására – Szerverek (node.js) – Adatbázisok (Apache CouchDB) – Cross-platform alkalmazások (Spotify, Atom, VSC) „JavaScriptforráskódtárak…” 2 3
- 4. – Nem csak weboldalak programozására – Szerverek (node.js) – Adatbázisok (Apache CouchDB) – Cross-platform alkalmazások (Spotify, Atom, VSC) – „Lightweight”, interpretált nyelv „JavaScriptforráskódtárak…” 2 4
- 5. – Nem csak weboldalak programozására – Szerverek (node.js) – Adatbázisok (Apache CouchDB) – Cross-platform alkalmazások (Spotify, Atom, VSC) – „Lightweight”, interpretált nyelv – Prototípusalapú, nem tipizált, dinamikus szkriptnyelv „JavaScriptforráskódtárak…” 2 5
- 6. – Nem csak weboldalak programozására – Szerverek (node.js) – Adatbázisok (Apache CouchDB) – Cross-platform alkalmazások (Spotify, Atom, VSC) – „Lightweight”, interpretált nyelv – Prototípusalapú, nem tipizált, dinamikus szkriptnyelv – Több paradigmájú (OO, imperatív, deklaratív) „JavaScriptforráskódtárak…” 2 6
- 8. – Majdnem egy éves specifikáció – Nem teljesen támogatott – Használatához transzformáció ajánlott ECMAScript2015 3 8
- 9. – Majdnem egy éves specifikáció – Nem teljesen támogatott – Használatához transzformáció ajánlott – Fontosabb újítások: – Modulok, modul-betöltők – Osztályok – Promise-ok ECMAScript2015 3 9
- 10. – Majdnem egy éves specifikáció – Nem teljesen támogatott – Használatához transzformáció ajánlott – Fontosabb újítások: – Modulok, modul-betöltők – Osztályok – Promise-ok ECMAScript2015 3 10 Az újítások miatt (megkötésekkel) könnyebb elemezni.
- 12. A forráskódanalízis segítségével tények tárhatók fel a programmal kapcsolatban. „…statikusanalízise” 4 12
- 13. A forráskódanalízis segítségével tények tárhatók fel a programmal kapcsolatban. Az automatizált analízis technikák: „…statikusanalízise” 4 13
- 14. A forráskódanalízis segítségével tények tárhatók fel a programmal kapcsolatban. Az automatizált analízis technikák: – Statikus analízis – fordítás, futtatás nélkül „…statikusanalízise” 4 14
- 15. A forráskódanalízis segítségével tények tárhatók fel a programmal kapcsolatban. Az automatizált analízis technikák: – Statikus analízis – fordítás, futtatás nélkül – Dinamikus analízis – viselkedés vizsgálata futtatás során „…statikusanalízise” 4 15
- 16. A forráskódanalízis segítségével tények tárhatók fel a programmal kapcsolatban. Az automatizált analízis technikák: – Statikus analízis – fordítás, futtatás nélkül – Dinamikus analízis – viselkedés vizsgálata futtatás során „…statikusanalízise” 4 16 A statikus analízis lényege – nem kívánt tulajdonságok, – problémás részek felfedezése, – amit a fordító nem talál meg
- 17. A forráskódanalízis segítségével tények tárhatók fel a programmal kapcsolatban. Az automatizált analízis technikák: – Statikus analízis – fordítás, futtatás nélkül – Dinamikus analízis – viselkedés vizsgálata futtatás során „…statikusanalízise” 4 17 A statikus analízis lényege – nem kívánt tulajdonságok, – problémás részek felfedezése, – amit a fordító nem talál meg JavaScript kódbázisok esetén nem bevett szokás.
- 20. Kódfeldolgozáslépései 5 20 tokenizer forráskód tokenek AST ASG parser scope analyzer Utasítások sorozata adott nyelven formalizálva.
- 21. Kódfeldolgozáslépései 5 21 tokenizer forráskód tokenek AST ASG parser scope analyzer Utasítások sorozata adott nyelven formalizálva. var foo = 1 / 0;
- 23. Kódfeldolgozáslépései 6 23 tokenizer forráskód tokenek AST ASG parser scope analyzer A tokenek a legrövidebb, még jelentéssel rendelkező karaktersorozatok.
- 24. Kódfeldolgozáslépései 6 24 tokenizer forráskód tokenek AST ASG parser scope analyzer A tokenek a legrövidebb, még jelentéssel rendelkező karaktersorozatok. var foo = 1 / 0;
- 25. Kódfeldolgozáslépései 6 25 tokenizer forráskód tokenek AST ASG parser scope analyzer Token Token típus var VAR (Keyword) foo IDENTIFIER (Ident) = ASSIGN (Punctuator) 1 NUMBER (NumericLiteral) / DIV (Punctuator) 0 NUMBER (NumericLiteral) A tokenek a legrövidebb, még jelentéssel rendelkező karaktersorozatok. var foo = 1 / 0;
- 26. tokenizer forráskód tokenek AST ASG parser scope analyzer Kódfeldolgozáslépései 7 26 Module declaration declarators items binding init left right
- 27. tokenizer forráskód tokenek AST ASG parser scope analyzer Abstract Syntax Tree (AST) – A tokenek sorozatának – nyelvtani struktúrájának – fa reprezentációja. Kódfeldolgozáslépései 7 27 Module declaration declarators items binding init left right
- 28. tokenizer forráskód tokenek AST ASG parser scope analyzer Kódfeldolgozáslépései 7 28 Module declaration declarators items binding init left right
- 29. tokenizer forráskód tokenek AST ASG parser scope analyzer Kódfeldolgozáslépései 8 29 Module declaration declarators items binding init left right
- 30. tokenizer forráskód tokenek AST ASG parser scope analyzer Kódfeldolgozáslépései 8 30 Module declaration declarators items binding init left right
- 31. tokenizer forráskód tokenek AST ASG parser scope analyzer Kódfeldolgozáslépései 8 31 Module declaration declarators items binding init left right GlobalScope variables references children declarations node astNode
- 32. tokenizer forráskód tokenek AST ASG parser scope analyzer Abstract Semantic Graph (ASG) – Gráf, nem feltétlenül fa. – Szintaktikai struktúra mellett szemantikai információt is hordoz. – Tartalmaz keresztéleket → – A részkifejezések akár közösek is lehetnek. Kódfeldolgozáslépései 8 32 Module declaration declarators items binding init left right GlobalScope variables references children declarations node astNode
- 33. tokenizer forráskód tokenek AST ASG parser scope analyzer Kódfeldolgozáslépései 8 33 Module declaration declarators items binding init left right GlobalScope variables references children declarations node astNode
- 35. Gráfmintaillesztés 9 35 binding init left right Gráfminta – Deklaratív, – gráfszerű formalizmus – feltételek kifejezésére.
- 36. Gráfmintaillesztés 9 36 binding init left right Gráfminta – Deklaratív, – gráfszerű formalizmus – feltételek kifejezésére. MATCH (binding:BindingIdentifier) <-[:binding]-()--> (be:BinaryExpression) -[:right]->(right:LNExpression)
- 37. Gráfmintaillesztés 9 37 binding init left right Gráfminta – Deklaratív, – gráfszerű formalizmus – feltételek kifejezésére. MATCH (binding:BindingIdentifier) <-[:binding]-()--> (be:BinaryExpression) -[:right]->(right:LNExpression) WHERE be.operator = `Div` AND right.value = 0.0
- 38. Gráfmintaillesztés 9 38 Gráfminta – Deklaratív, – gráfszerű formalizmus – feltételek kifejezésére. Gráfmintalekérdezés Cyphernyelven nullávaltörténőosztás keresésére MATCH (binding:BindingIdentifier) <-[:binding]-()--> (be:BinaryExpression) -[:right]->(right:LNExpression) WHERE be.operator = `Div` AND right.value = 0.0 RETURN binding Mintaillesztés eredménye
- 40. Folyamatáttekintés 10 40 központi verziókezelő rendszer fejlesztői munkaállomás Git,VisualStudioCode
- 41. Folyamatáttekintés 10 41 központi verziókezelő rendszer fejlesztői munkaállomás tokenizer forráskód tokenek AST ASG parser scope analyzer Git,VisualStudioCode ShapeSecurityShift
- 42. Folyamatáttekintés 10 42 központi verziókezelő rendszer transzformáció fejlesztői munkaállomás tokenizer forráskód tokenek AST ASG parser scope analyzer Git,VisualStudioCode ShapeSecurityShift Java,Cypher
- 43. Folyamatáttekintés 10 43 központi verziókezelő rendszer transzformáció fejlesztői munkaállomás tokenizer forráskód tokenek AST ASG parser scope analyzer gráf adatbázis Git,VisualStudioCode ShapeSecurityShift Java,Cypher Neo4J
- 44. Folyamatáttekintés 10 44 központi verziókezelő rendszer transzformáció fejlesztői munkaállomás tokenizer forráskód tokenek AST ASG parser scope analyzer feldolgozás gráf adatbázis Git,VisualStudioCode ShapeSecurityShift Java,Cypher Neo4J
- 45. Folyamatáttekintés 10 45 központi verziókezelő rendszer transzformáció fejlesztői munkaállomás tokenizer forráskód tokenek AST ASG parser scope analyzer feldolgozás gráf adatbázis Git,VisualStudioCode ShapeSecurityShift Java,Cypher Neo4J
- 46. – … DEMO 11 46
- 47. – … DEMO 11 47
- 48. – … DEMO Dead Code Search – a kódbázis egészében nem használt – export-on keresztül nem kiajánlott – függvénydeklarációk 11 48
- 49. – … DEMO Dead Code Search – a kódbázis egészében nem használt – export-on keresztül nem kiajánlott – függvénydeklarációk Visual Studio Code integráció – figyelmeztetések – módosítás esetén újraellenőrzés 11 49
- 51. Összefoglalva 12 51 – Irodalomkutatás – JS parserek – Típuskövetkeztetők – Gráf adatbázisok
- 52. Összefoglalva 12 52 – Irodalomkutatás – JS parserek – Típuskövetkeztetők – Gráf adatbázisok – Nyílt forráskódú projekthez járultam hozzá
- 53. Összefoglalva 12 53 – Irodalomkutatás – JS parserek – Típuskövetkeztetők – Gráf adatbázisok – Nyílt forráskódú projekthez járultam hozzá – Elkészítettem egy prototípust – Átalakítás, tárolás gráf adatbázisban – Részgráfok összekapcsolása – Nem használt függvények keresése – IDE integráció – Alap szintű típuskövetkeztető rendszer kezdetei
- 55. Továbbifeladatok 13 55 – Irodalomkutatás – Típuskövetkeztetők elméleti hátterével mélyebb ismertség – Statikus analízishez minták gyűjtése
- 56. Továbbifeladatok 13 56 – Irodalomkutatás – Típuskövetkeztetők elméleti hátterével mélyebb ismertség – Statikus analízishez minták gyűjtése – Prototípus finomítása – Export/import rendszer javítása – IDE integráció javítása – Típuskövetkeztető rendszer bővítése szabályokkal, felkészítés függvényekre