Using simplex method in verifying software safety
In this paper we have discussed the application of the Simplex method in checking software safety - the application in automated detection of buffer overflows in C programs. This problem is important because buffer overflows are suitable targets for hackers' security attacks and sources of seri...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Belgrade
2009-01-01
|
| Series: | Yugoslav Journal of Operations Research |
| Subjects: | |
| Online Access: | http://www.doiserbia.nb.rs/img/doi/0354-0243/2009/0354-02430901133V.pdf |
| _version_ | 1811318068980219904 |
|---|---|
| author | Vujošević-Janičić Milena Marić Filip Tošić Dušan |
| author_facet | Vujošević-Janičić Milena Marić Filip Tošić Dušan |
| author_sort | Vujošević-Janičić Milena |
| collection | DOAJ |
| description | In this paper we have discussed the application of the Simplex method in checking software safety - the application in automated detection of buffer overflows in C programs. This problem is important because buffer overflows are suitable targets for hackers' security attacks and sources of serious program misbehavior. We have also described our implementation, including a system for generating software correctness conditions and a Simplex based theorem prover that resolves these conditions. |
| first_indexed | 2024-04-13T12:19:18Z |
| format | Article |
| id | doaj.art-74a146e63c6b452c83ebd0b389e522a1 |
| institution | Directory Open Access Journal |
| issn | 0354-0243 1820-743X |
| language | English |
| last_indexed | 2024-04-13T12:19:18Z |
| publishDate | 2009-01-01 |
| publisher | University of Belgrade |
| record_format | Article |
| series | Yugoslav Journal of Operations Research |
| spelling | doaj.art-74a146e63c6b452c83ebd0b389e522a12022-12-22T02:47:16ZengUniversity of BelgradeYugoslav Journal of Operations Research0354-02431820-743X2009-01-0119113314810.2298/YJOR0901133VUsing simplex method in verifying software safetyVujošević-Janičić MilenaMarić FilipTošić DušanIn this paper we have discussed the application of the Simplex method in checking software safety - the application in automated detection of buffer overflows in C programs. This problem is important because buffer overflows are suitable targets for hackers' security attacks and sources of serious program misbehavior. We have also described our implementation, including a system for generating software correctness conditions and a Simplex based theorem prover that resolves these conditions.http://www.doiserbia.nb.rs/img/doi/0354-0243/2009/0354-02430901133V.pdfSimplex methodsoftware safetybuffer overflows |
| spellingShingle | Vujošević-Janičić Milena Marić Filip Tošić Dušan Using simplex method in verifying software safety Yugoslav Journal of Operations Research Simplex method software safety buffer overflows |
| title | Using simplex method in verifying software safety |
| title_full | Using simplex method in verifying software safety |
| title_fullStr | Using simplex method in verifying software safety |
| title_full_unstemmed | Using simplex method in verifying software safety |
| title_short | Using simplex method in verifying software safety |
| title_sort | using simplex method in verifying software safety |
| topic | Simplex method software safety buffer overflows |
| url | http://www.doiserbia.nb.rs/img/doi/0354-0243/2009/0354-02430901133V.pdf |
| work_keys_str_mv | AT vujosevicjanicicmilena usingsimplexmethodinverifyingsoftwaresafety AT maricfilip usingsimplexmethodinverifyingsoftwaresafety AT tosicdusan usingsimplexmethodinverifyingsoftwaresafety |