CARVIEW |
Select Language
HTTP/2 200
date: Wed, 23 Jul 2025 16:42:44 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
x-repository-download: git clone https://github.com/facebook/infer.git
etag: W/"5ca8c8693f5b0df88ea7cdb00b839300"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=T6iRqbovTJ1ao3I8138Hobyejegsrj2WsDf%2BZpQzRHO5GC%2FCZ2hjVZuEJGhWaIugVTWXo%2B%2FLjyaegEdPxFFCHWe9%2BfonDnpN1jIOWFg%2BC55Pa76RGZ%2F%2Byu2BHfnu5NSFVJW9uEEjvnb7E%2FRSlSA6sg5VGwlWSRbrbqpSrubKBgi%2F9W7U19AsTt6brQ2HMiHgV4mqSVumMOxtKxzbmj2qLRrSRGfiIfjO9kJZ6l9gjQhLwNMbH%2BSB8Pt258%2FkEuq8Inl3veno2F9HrtcSZxVOZg%3D%3D--kIyrcJEZkdkshvLA--evaBrnOJHTEKKUk9UQzrIg%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1383208618.1753288963; Path=/; Domain=github.com; Expires=Thu, 23 Jul 2026 16:42:43 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Thu, 23 Jul 2026 16:42:43 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: AD02:B5FA6:EB3E60:11636FA:68811103
Infer# integration (#1361) · facebook/infer@285ddb4 · GitHub
Dismiss banner
Copy file name to clipboardExpand all lines: infer/man/man1/infer-analyze.txt
Copy file name to clipboardExpand all lines: infer/man/man1/infer-full.txt
Copy file name to clipboardExpand all lines: infer/man/man1/infer-report.txt
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 2k
Commit 285ddb4
Infer# integration (#1361)
Summary:
Dear Infer team,
To contribute to Infer community, I would like to integrate infer#'s language agnostic layer into Infer.
Please help to review, discuss and consider to merge this feature.
Thanks,
Xiaoyu
Pull Request resolved: #1361
Reviewed By: skcho
Differential Revision: D25928458
Pulled By: jvillard
fbshipit-source-id: 7726150b81 parent e0f0022 commit 285ddb4Copy full SHA for 285ddb4
File tree
Expand file treeCollapse file tree
119 files changed
+2293
-110
lines changedFilter options
- infer
- man/man1
- src
- IR
- absint
- atd
- backend
- base
- biabduction
- bufferoverrun
- concurrency
- cost
- deadcode
- dotnet
- integration
- tests
- codetoanalyze
- dotnet
- arithmetic
- array
- bgeble
- box
- fieldderef
- isinst
- ldstr
- logical
- nullderef-interproc
- nullderef-simple
- nullparam
- numcomparison
- reference
- resourceleak
- starg
- java/performance
- objc
- frontend
- property_in_protocol
- property
- shared
- annotations
- block
- property
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Expand file treeCollapse file tree
119 files changed
+2293
-110
lines changed+1Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| 55 | + | |
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
|
+17Lines changed: 17 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
190 | 190 |
| |
191 | 191 |
| |
192 | 192 |
| |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
| 203 | + | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
| 209 | + | |
193 | 210 |
| |
194 | 211 |
| |
195 | 212 |
| |
|
infer/man/man1/infer-analyze.txt
Copy file name to clipboardExpand all lines: infer/man/man1/infer-analyze.txt+3-2Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
111 | 111 |
| |
112 | 112 |
| |
113 | 113 |
| |
114 |
| - | |
115 |
| - | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
116 | 117 |
| |
117 | 118 |
| |
118 | 119 |
| |
|
infer/man/man1/infer-full.txt
Copy file name to clipboardExpand all lines: infer/man/man1/infer-full.txt+47-21Lines changed: 47 additions & 21 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
210 | 210 |
| |
211 | 211 |
| |
212 | 212 |
| |
| 213 | + | |
| 214 | + | |
| 215 | + | |
213 | 216 |
| |
214 | 217 |
| |
215 | 218 |
| |
| |||
313 | 316 |
| |
314 | 317 |
| |
315 | 318 |
| |
316 |
| - | |
317 |
| - | |
| 319 | + | |
| 320 | + | |
| 321 | + | |
318 | 322 |
| |
319 | 323 |
| |
320 | 324 |
| |
321 | 325 |
| |
322 | 326 |
| |
323 | 327 |
| |
324 | 328 |
| |
325 |
| - | |
326 |
| - | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
327 | 332 |
| |
328 | 333 |
| |
329 | 334 |
| |
330 |
| - | |
331 |
| - | |
| 335 | + | |
| 336 | + | |
| 337 | + | |
332 | 338 |
| |
333 | 339 |
| |
334 | 340 |
| |
335 |
| - | |
336 |
| - | |
| 341 | + | |
| 342 | + | |
| 343 | + | |
337 | 344 |
| |
338 | 345 |
| |
339 | 346 |
| |
340 |
| - | |
341 |
| - | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
342 | 350 |
| |
343 | 351 |
| |
344 | 352 |
| |
| |||
348 | 356 |
| |
349 | 357 |
| |
350 | 358 |
| |
351 |
| - | |
352 |
| - | |
| 359 | + | |
| 360 | + | |
| 361 | + | |
353 | 362 |
| |
354 | 363 |
| |
355 | 364 |
| |
| |||
420 | 429 |
| |
421 | 430 |
| |
422 | 431 |
| |
| 432 | + | |
423 | 433 |
| |
424 | 434 |
| |
425 | 435 |
| |
| |||
624 | 634 |
| |
625 | 635 |
| |
626 | 636 |
| |
627 |
| - | |
628 |
| - | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
629 | 640 |
| |
630 | 641 |
| |
631 | 642 |
| |
| |||
635 | 646 |
| |
636 | 647 |
| |
637 | 648 |
| |
638 |
| - | |
639 |
| - | |
| 649 | + | |
| 650 | + | |
| 651 | + | |
640 | 652 |
| |
641 | 653 |
| |
642 | 654 |
| |
643 | 655 |
| |
644 |
| - | |
645 |
| - | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
646 | 659 |
| |
647 | 660 |
| |
648 | 661 |
| |
| |||
1179 | 1192 |
| |
1180 | 1193 |
| |
1181 | 1194 |
| |
| 1195 | + | |
| 1196 | + | |
| 1197 | + | |
1182 | 1198 |
| |
1183 | 1199 |
| |
1184 | 1200 |
| |
| |||
1338 | 1354 |
| |
1339 | 1355 |
| |
1340 | 1356 |
| |
| 1357 | + | |
| 1358 | + | |
| 1359 | + | |
1341 | 1360 |
| |
1342 | 1361 |
| |
1343 | 1362 |
| |
| |||
1461 | 1480 |
| |
1462 | 1481 |
| |
1463 | 1482 |
| |
| 1483 | + | |
| 1484 | + | |
| 1485 | + | |
| 1486 | + | |
1464 | 1487 |
| |
1465 | 1488 |
| |
1466 | 1489 |
| |
| |||
1957 | 1980 |
| |
1958 | 1981 |
| |
1959 | 1982 |
| |
| 1983 | + | |
| 1984 | + | |
| 1985 | + | |
1960 | 1986 |
| |
1961 | 1987 |
| |
1962 | 1988 |
| |
| |||
2120 | 2146 |
| |
2121 | 2147 |
| |
2122 | 2148 |
| |
2123 |
| - | |
2124 |
| - | |
2125 |
| - | |
| 2149 | + | |
| 2150 | + | |
| 2151 | + | |
2126 | 2152 |
| |
2127 | 2153 |
| |
2128 | 2154 |
|
infer/man/man1/infer-report.txt
Copy file name to clipboardExpand all lines: infer/man/man1/infer-report.txt+1Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
132 | 132 |
| |
133 | 133 |
| |
134 | 134 |
| |
| 135 | + | |
135 | 136 |
| |
136 | 137 |
| |
137 | 138 |
| |
|
+37-21Lines changed: 37 additions & 21 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
210 | 210 |
| |
211 | 211 |
| |
212 | 212 |
| |
| 213 | + | |
| 214 | + | |
| 215 | + | |
213 | 216 |
| |
214 | 217 |
| |
215 | 218 |
| |
| |||
313 | 316 |
| |
314 | 317 |
| |
315 | 318 |
| |
316 |
| - | |
317 |
| - | |
| 319 | + | |
| 320 | + | |
| 321 | + | |
318 | 322 |
| |
319 | 323 |
| |
320 | 324 |
| |
321 | 325 |
| |
322 | 326 |
| |
323 | 327 |
| |
324 | 328 |
| |
325 |
| - | |
326 |
| - | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
327 | 332 |
| |
328 | 333 |
| |
329 | 334 |
| |
330 |
| - | |
331 |
| - | |
| 335 | + | |
| 336 | + | |
| 337 | + | |
332 | 338 |
| |
333 | 339 |
| |
334 | 340 |
| |
335 |
| - | |
336 |
| - | |
| 341 | + | |
| 342 | + | |
| 343 | + | |
337 | 344 |
| |
338 | 345 |
| |
339 | 346 |
| |
340 |
| - | |
341 |
| - | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
342 | 350 |
| |
343 | 351 |
| |
344 | 352 |
| |
| |||
348 | 356 |
| |
349 | 357 |
| |
350 | 358 |
| |
351 |
| - | |
352 |
| - | |
| 359 | + | |
| 360 | + | |
| 361 | + | |
353 | 362 |
| |
354 | 363 |
| |
355 | 364 |
| |
| |||
420 | 429 |
| |
421 | 430 |
| |
422 | 431 |
| |
| 432 | + | |
423 | 433 |
| |
424 | 434 |
| |
425 | 435 |
| |
| |||
624 | 634 |
| |
625 | 635 |
| |
626 | 636 |
| |
627 |
| - | |
628 |
| - | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
629 | 640 |
| |
630 | 641 |
| |
631 | 642 |
| |
| |||
635 | 646 |
| |
636 | 647 |
| |
637 | 648 |
| |
638 |
| - | |
639 |
| - | |
| 649 | + | |
| 650 | + | |
| 651 | + | |
640 | 652 |
| |
641 | 653 |
| |
642 | 654 |
| |
643 | 655 |
| |
644 |
| - | |
645 |
| - | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
646 | 659 |
| |
647 | 660 |
| |
648 | 661 |
| |
| |||
1179 | 1192 |
| |
1180 | 1193 |
| |
1181 | 1194 |
| |
| 1195 | + | |
| 1196 | + | |
| 1197 | + | |
1182 | 1198 |
| |
1183 | 1199 |
| |
1184 | 1200 |
| |
| |||
1307 | 1323 |
| |
1308 | 1324 |
| |
1309 | 1325 |
| |
1310 |
| - | |
1311 |
| - | |
1312 |
| - | |
| 1326 | + | |
| 1327 | + | |
| 1328 | + | |
1313 | 1329 |
| |
1314 | 1330 |
| |
1315 | 1331 |
|
You can’t perform that action at this time.
0 commit comments