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
2023-05-30 18:02:33 +00:00
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
e1d1ffa334
Add an analysis timeout per file ( #172 )
...
* Add an analysis timeout per file
To avoid hanging in some edge cases.
* Update .inferconfig
2022-10-03 12:29:05 -07:00
64dc14a754
Prepare for v1.4 ( #166 )
...
* Test 1.4
* Update Dockerfile
* Update Dockerfile
* Unit tests
* Update command
* Add symlink
* Update execution script
* Update Dockerfile
* No need to remove infer-out
* Disable unit tests temporarily
* Update the run script
* Fix wsl incremental (#163 )
* Update SourceFile.cs
* Update SourceFiles with unix-like path
* Update SourceFile.cs
* Update inferconfig
* Add timeout for slower agents
* Fix pipeline name
* Revert job timeout
It was due to the signing service being down, not because of the build agents
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
2022-09-30 12:21:04 -07:00
6e38e78a91
Revert "fix ( #162 )" ( #165 )
...
This reverts commit 87f00f051e
2022-09-29 10:46:43 -07:00
87f00f051e
fix ( #162 )
2022-09-16 13:44:44 -07:00
909cf6472b
Create .inferconfig ( #157 )
...
* Create .inferconfig
* Update .inferconfig
2022-09-02 14:02:54 -07:00
Matthew Jin
Xin Shi