infersharp/Examples
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
..
proj Update Translation of Async for Resource Leak/Taint (#214) 2023-05-30 18:02:33 +00:00
subproj Update SqlClient (#200) 2022-11-29 13:06:14 -08:00
Examples.sln Redo Test Examples for 1.4 (#159) 2022-10-24 11:04:32 -07:00