Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
An approach to modern static analysis with property graphs
Effendi, S. D. B. 2025. An Approach to Modern Static Analysis with Property Graphs. Unpublished doctoral dissertation. Stellenbosch: Stellenbosch University [online]. Available: https://scholar.sun.ac.za/items/a3c2890d-40b0-43e8-b589-1a4203f4da6a
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Published: |
Stellenbosch : Stellenbosch University
2025
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613986357248000 |
|---|---|
| access_status_str | Open Access |
| author | Effendi, Sedick David Baker |
| author2 | Visser, W. |
| author_browse | Effendi, Sedick David Baker Visser, W. |
| author_facet | Visser, W. Effendi, Sedick David Baker |
| author_sort | Effendi, Sedick David Baker |
| collection | Thesis |
| dc_rights_str_mv | Stellenbosch University |
| description | Effendi, S. D. B. 2025. An Approach to Modern Static Analysis with
Property Graphs. Unpublished doctoral dissertation. Stellenbosch: Stellenbosch University [online]. Available: https://scholar.sun.ac.za/items/a3c2890d-40b0-43e8-b589-1a4203f4da6a |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/132198 |
| institution | Stellenbosch University (South Africa) |
| last_indexed | 2026-06-10T12:44:51.414Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Stellenbosch : Stellenbosch University |
| publisherStr | Stellenbosch : Stellenbosch University |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/132198 An approach to modern static analysis with property graphs Effendi, Sedick David Baker Visser, W. Van der Merwe, B. Yamaguchi, F. Stellenbosch University. Faculty of Science. Dept. of Computer Science. Computer software -- Development Graphs, Theory of Data structures (Computer science) UCTD Effendi, S. D. B. 2025. An Approach to Modern Static Analysis with Property Graphs. Unpublished doctoral dissertation. Stellenbosch: Stellenbosch University [online]. Available: https://scholar.sun.ac.za/items/a3c2890d-40b0-43e8-b589-1a4203f4da6a Thesis (PhD)--Stellenbosch University, 2025. ENGLISH ABSTRACT: Software development has followed a trend toward frequent, incremental changes and integrating third-party dependencies to bring existing functionality into a system to avoid re-inventing the wheel. This has had an adverse effect on modern programs, which have grown to a much larger size than in the past. A vendor requires continuous program verification to avoid compromising services and customer data. This may be efficiently ad dressed by automated program analysis, but this is no small feat. As the rate of software development increases, so does the number of published versions and their transitive dependencies, bringing a combinatorial explosion. Program analysis at this scale requires an unsustainable demand for resources. Instead of continuously meeting this ever-growing demand for resources, we acknowledge that this demand will (most likely) never be sated. We thus model this problem in a resource-constrained environment, where the whole execution environment can not be analysed at once. In this thesis, we propose a solution to this problem by developing partial program static analysis systems that are robust to missing information and can efficiently mo del ex ternal de pendencies. We de monstrate th e suitability of our solution and related techniques for a handful of real-world applications via case studies. AFRIKAANSE OPSOMMING: Sagteware-ontwikkeling het ’n neiging na gereelde, inkrementele veranderinge en die integrasie van eksterne afhanflikhede g evolg, s odat b estaande funksionaliteit in gebring kan word sonder dat dit herondek moet word. Hierdie neiging het ’n nadelige effek op moderne p rogramme gehad, wat daardeur tot baie groter groottes as in die verlede geswel het. ’n Sagtewarehandelaar vereis voortdurende programverifikasie o m t e verhoed dat hul dienste en kliëntedata in gevaar gestel word. Dit kan doeltreffend aangespreek word deur geoutomatiseerde programanalise, maar dit is makliker gesê as gedoen. Soos die tempo van sagteware-ontwikkeling toeneem, neem ook die aantal gepubliseerde programweergawes en hul oorganklike afhanklikhede toe, wat tot ’n kombinatoriese ontploffing le i. Pr ogramanalise op sulke skaal vereis ’n onvolhoubare aanvraag na hulpbronne. In plaas daarvan om voortdurend aan hierdie groeiende vraag na hulpbronne te voldoen, erken ons eerder dat hierdie aanvraag (waarskynlik) nooit versadig sal word nie. Ons modelleer dus eerder hierdie probleem in ’n hulpbronbeperkte omgewing, waar die hele uitvoeringsomgewing nie gelyktydig ontleed kan word nie. In hierdie tesis stel ons ’n oplossing vir hierdie probleem voor, deur die ontwikkeling van statiese analies stelsels vir gedeeltelike programme. Hierdie stelsels is sterk teen ontbrekende inligting en kan eksterne afhanklikhede doeltreffend m odelleer. Ons demonstreer die geskiktheid van ons oplossing en soortgelyke tegnieke op ’n versameling regte-wêreld toepassings deur gevallestudies. Doctoral 2025-05-29T10:48:00Z 2025-05-29T10:48:00Z 2025-03 Thesis https://scholar.sun.ac.za/handle/10019.1/132198 Stellenbosch University xv, 143 pages : illustrations application/pdf Stellenbosch : Stellenbosch University |
| spellingShingle | Computer software -- Development Graphs, Theory of Data structures (Computer science) UCTD Effendi, Sedick David Baker An approach to modern static analysis with property graphs |
| title | An approach to modern static analysis with property graphs |
| title_full | An approach to modern static analysis with property graphs |
| title_fullStr | An approach to modern static analysis with property graphs |
| title_full_unstemmed | An approach to modern static analysis with property graphs |
| title_short | An approach to modern static analysis with property graphs |
| title_sort | approach to modern static analysis with property graphs |
| topic | Computer software -- Development Graphs, Theory of Data structures (Computer science) UCTD |
| url | https://scholar.sun.ac.za/handle/10019.1/132198 |
| work_keys_str_mv | AT effendisedickdavidbaker anapproachtomodernstaticanalysiswithpropertygraphs AT effendisedickdavidbaker approachtomodernstaticanalysiswithpropertygraphs |