Xin Shi
a9dbc6d9e7
Update ADO example to 1.5 ( #223 )
2023-09-07 11:43:18 -07:00
Matthew Jin
f46ad17c3c
Update TROUBLESHOOTING.md ( #220 )
2023-08-11 15:02:20 -07:00
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
57ee288433
Add Support for Volatile and Switch ( #212 )
...
* 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
* add test annotation
* Update TestClass.cs
* Update NPETest.cs
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
2023-03-08 15:22:52 -08: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
338ae846f0
Add Rethrow and Fix Exn ( #208 )
...
* 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
* add ldvirtftn
* remove indent
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
2023-03-02 15:46:06 -08:00
Matthew Jin
395e827d56
Add ldftn translation/translation of delegates ( #204 )
...
* 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
* 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
* add ldvirtftn
* typo
* minor edits
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
2023-03-02 14:44:34 -08:00
Matthew Jin
7b912f0558
Handle NotImplemented/NotSupported Exceptions thrown by Cecil ( #207 )
...
* fix
* bug fix
* fix coveragestats
* formatting
* minor
* add additional exception handlign
---------
Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com>
2023-02-16 18:35:55 -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
8f4efbe71c
Use PowerShell ( #211 )
2023-02-10 13:25:33 -08:00
Xin Shi
2a604a4ed3
Update ESRP signing task version ( #201 )
...
Co-authored-by: Matthew Jin <matjin@microsoft.com>
2022-12-08 11:31:36 -08:00
dependabot[bot]
b4e2985cff
Bump Newtonsoft.Json from 13.0.1 to 13.0.2 in /Cilsil ( #202 )
...
Bumps [Newtonsoft.Json](https://github.com/JamesNK/Newtonsoft.Json ) from 13.0.1 to 13.0.2.
- [Release notes](https://github.com/JamesNK/Newtonsoft.Json/releases )
- [Commits](https://github.com/JamesNK/Newtonsoft.Json/compare/13.0.1...13.0.2 )
---
updated-dependencies:
- dependency-name: Newtonsoft.Json
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2022-12-08 10:24:40 -08:00
Xin Shi
c2fce67f9d
Update SqlClient ( #200 )
2022-11-29 13:06:14 -08:00
Xin Shi
aefeb67269
Update ADO pipeline example ( #197 )
2022-11-21 10:46:46 -08:00
Xin Shi
a2b0775321
Add .NET conf link ( #194 )
2022-11-14 16:42:17 -08:00
Xin Shi
d835afb947
Update binary copying logic ( #185 )
2022-11-01 11:54:58 -07:00
Xin Shi
519757911c
Add v1.4 blog link ( #181 )
2022-10-31 12:10:08 -07:00
Xin Shi
cef6ba08f4
Update README for v1.4 ( #180 )
...
* Update README for v1.4
* Spacing
* Use bullet points
2022-10-25 15:16:37 -07: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
Xin Shi
bf7526c370
Update binary copying logic ( #179 )
...
* Update binary copying logic
* Give infersharp full permission
2022-10-18 15:33:23 -07:00
Xin Shi
bc6fb62d01
Copy only the binary files to a staging folder and dedupe binaries with the same name in the process. ( #178 )
2022-10-10 10:06:58 -07:00
Matthew Jin
19bf547f15
progress ( #177 )
2022-10-07 16:04:43 -07:00
Matthew Jin
8759257844
Inline Instructions for Initializing Boolean Instance Field to Default Value ( #174 )
...
* bug fix
* fix
* comments
2022-10-04 15:15:39 -07:00
Matthew Jin
9887607736
Update README.md ( #173 )
2022-10-03 16:51:00 -07:00
Xin Shi
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
Xin Shi
da76942efa
Target the latest infer main branch ( #171 )
...
* Update Dockerfile
* Update instructions
2022-10-03 11:11:49 -07:00
Xin Shi
aa9d6b0235
Delete changed_files_index.txt ( #170 )
2022-09-30 12:41:34 -07:00
Xin Shi
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
Matthew Jin
598d9b6cc9
fix ( #164 )
...
Co-authored-by: Xin Shi <xinshi@microsoft.com>
2022-09-29 13:52:26 -07:00
Xin Shi
6e38e78a91
Revert "fix ( #162 )" ( #165 )
...
This reverts commit 87f00f051e
.
2022-09-29 10:46:43 -07:00
Matthew Jin
87f00f051e
fix ( #162 )
2022-09-16 13:44:44 -07:00
Matthew Jin
d46b5d1322
bug fix ( #161 )
2022-09-16 09:22:03 -07:00
Matthew Jin
d9878786ce
Remove Description Field ( #160 )
...
* add thread safety
* add pulse resource leaks, remove old tests
* pulse taint tests
* changes
* progress
* remove description
* example report
* revert exmaple changes
* revert changes
2022-09-15 13:33:02 -07:00
Matthew Jin
2314021564
Add Method Annotations to Translation ( #158 )
...
* progress
* formatters for taint
* add annotation-related types
* annotations
2022-09-02 15:29:51 -07:00
Matthew Jin
909cf6472b
Create .inferconfig ( #157 )
...
* Create .inferconfig
* Update .inferconfig
2022-09-02 14:02:54 -07:00
Matthew Jin
40d7f4c45e
Add Collections to IDisposableTenv ( #154 )
...
* add collections to idisposabletenv
* fix
* replace T with 0
* replace <t> with < ! 0 >
* idict
* reformat tenv
* fix
2022-08-24 13:25:51 -07:00
Xin Shi
ee72e439e3
Update Docker instructions ( #153 )
2022-07-14 10:50:39 -07:00
Matthew Jin
460071076b
progress ( #149 )
2022-07-12 16:44:12 -07:00
Matthew Jin
ade35d5e7d
Fix False Positive Null Dereferences on Reference Primitives ( #146 )
...
* bug fixes
* add more test code
* add more test code
* simplify
* edit comment
* bug
2022-07-12 13:53:33 -07:00
Matthew Jin
3bd7a765f4
modify tenv ( #148 )
2022-07-12 12:21:45 -07:00
Xin Shi
6e6bab40d7
Docker staging release publish ( #150 )
...
* Publish image to staging
* Remove tag
* Use latest tag
* Use registry
2022-07-08 12:32:35 -07:00
Xiaoyu Liu
78f012b407
use latest opam in dockerfile ( #147 )
2022-07-01 13:24:03 -07:00
Matthew Jin
ffc520c1d7
Use Ascii Encoding For Translation ( #144 )
...
* bug fix
* delete unnecessary using
* mistyped string
* nonempty fallbackexception
* update
* fix
2022-06-30 14:24:00 -07:00
Xin Shi
76ec796141
Copy reports to a specified folder ( #140 )
...
* Copy reports to a specified folder
* Format
* Format
2022-05-10 10:20:24 -07:00
Matthew Jin
8a0ac083da
update ( #139 )
2022-05-05 09:19:48 -07:00
Xin Shi
0826914202
Update instructions for 1.3 ( #138 )
2022-05-04 16:06:38 -07:00
Xin Shi
73eea3e90b
Target Linux-64 ( #137 )
2022-05-03 17:54:55 -07:00
Matthew Jin
6cc8ea5cd2
Remove Duplicate Binary Filenames From Analysis ( #136 )
...
* dedupe
* remove
* fix
2022-05-03 16:38:56 -07:00
Matthew Jin
dcedc4e023
Variable Name Bug Fix ( #132 )
...
* catch translation exceptions
* bug fix
* fixes
2022-05-02 16:07:13 -07:00