Matthew Jin
|
57a1bbd25e
|
Update Translation of Async for Resource Leak/Taint (#214)
* partial progress
* progress
* progress
* progress
* fix
* add another example
* further progress
* formatting fix
* fixes
* undo removal of comment
* example null deref
* comment edit
* progress
* progress
* fix
* add ldlen test
* add unit test for this
* minor edits
* fix test
* edit test
* fix
* bug fix
* updated expected counts
* progress
* translation and tests
* bug fix
* add constrained
* progress
* write warning instead
* bug fix
* fix bug
* undo debug stuff
* typo
* fix
* remove stash markers
* testclass introduction of bug fix
* doc fix
* undo regular control flow from throw through finally
* remove unecessary method
* fix to inferconfig
* update
* progress
* add ldvirtftn
* fix bugs
* fix'
* progress
* progress
* example
* bug fix
* fixes
* set IsCompleted always to treu
* Revert "set IsCompleted always to treu"
This reverts commit 694e6cf236.
* merge conflcit issues
* remove skiptranslation
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
Co-authored-by: copilot-defender <132240783+copilot-defender@users.noreply.github.com>
|
2023-05-30 18:02:33 +00:00 |
|
Matthew Jin
|
fe1eb37089
|
Add Console.ReadLine as a taint source (#210)
* partial progress
* progress
* progress
* progress
* fix
* add another example
* further progress
* formatting fix
* fixes
* undo removal of comment
* example null deref
* comment edit
* progress
* progress
* fix
* add ldlen test
* add unit test for this
* minor edits
* fix test
* edit test
* fix
* bug fix
* updated expected counts
* progress
* translation and tests
* bug fix
* add constrained
* progress
* write warning instead
* bug fix
* fix bug
* undo debug stuff
* typo
* fix
* remove stash markers
* testclass introduction of bug fix
* doc fix
* undo regular control flow from throw through finally
* remove unecessary method
* fix to inferconfig
* update
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
|
2023-03-03 10:48:12 -08:00 |
|
Matthew Jin
|
668d1e1fa5
|
Ldlen translation expansion (#203)
* partial progress
* progress
* progress
* progress
* fix
* add another example
* further progress
* formatting fix
* fixes
* undo removal of comment
* example null deref
* comment edit
* progress
* progress
* fix
* add ldlen test
* add unit test for this
* minor edits
* fix test
* edit test
* fix
* bug fix
* updated expected counts
* minor bug fix
* bug fix
* bug fix
* fix bug
* undo debug stuff
* typo
* fix
* remove stash markers
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
|
2023-02-16 16:05:25 -08:00 |
|
Matthew Jin
|
df9aea035c
|
Support Nesting of Exception Handlers (#199)
* partial progress
* progress
* progress
* progress
* fix
* add another example
* further progress
* formatting fix
* fixes
* undo removal of comment
* example null deref
* comment edit
* fix
* add unit test for this
* fix test
* fix
* bug fix
* bug fix
* fix bug
* undo debug stuff
* typo
* fix
* remove stash markers
* testclass introduction of bug fix
* doc fix
* undo regular control flow from throw through finally
* remove unecessary method
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
|
2023-02-16 14:53:57 -08:00 |
Xin Shi
|
c2fce67f9d
|
Update SqlClient (#200)
|
2022-11-29 13:06:14 -08:00 |
|
Matthew Jin
|
3979e336a2
|
Redo Test Examples for 1.4 (#159)
* add thread safety
* add pulse resource leaks, remove old tests
* pulse taint tests
* changes
* progress
* example report
* progresS
* add another example
* add example
* fix
* fix
* add false positive
* execute command
* Update to .NET 6.0
* Remove redundant files
* Remove sample report
* edit expected count
* Update for version consistency
* fix for the proj loading
* add comments
Co-authored-by: Xin Shi <xinshi@microsoft.com>
|
2022-10-24 11:04:32 -07:00 |
Xiaoyu Liu
|
2123394c1a
|
update interprocedural examples (#114)
|
2022-03-08 14:38:45 -08:00 |
|
Xin Shi
|
854ad7b901
|
Remove an outdated readme (#48)
|
2021-03-05 23:50:39 -08:00 |
Matthew Jin
|
e47478b1b4
|
Update to .NET 5.0 and Abstract Record Handling Fix (#33)
* update c#5, run code cleanup editorconfig, fix bug
* minor edit
* change to net.50
* add support for ldtoken
* refactor object allocation
* indentation fix
* fixes
* Fix build errors
* revert openjdk-11 changes
* edits
* editorconfig
* fix
* nit fix
Co-authored-by: Xin Shi <xinshi@microsoft.com>
|
2021-01-27 16:54:28 -08:00 |
|
Xiaoyu Liu
|
1ae10c187a
|
Add license header to csharp example (#4)
* Add license header to csharp example
* Update README.md
* move cshrp example to examples folder
* fix example path
* remove csharp_hello
|
2020-09-15 18:19:25 -07:00 |
|
Xin Shi
|
eb12257a05
|
Add examples (#2)
* Add examples
* Reword md
* Add link to wiki
* Update wiki link
|
2020-09-15 13:26:02 -07:00 |