veyepar: Coccinelle: A program matching and transformation tool

Hi user

Admin Login:

Name: Coccinelle: A program matching and transformation tool
--client lca --show lca_2015 --room Case_Room_2 9401 --force
Prev: 12 Software Patents: Trolls and Other Bullies
Next: 12 REST APIs and the Return of the Console App

show more...

Author(s):	Himangi Saraogi
Location	Case Room 2
Date	jan Wed 14	Days Raw Files
Start	13:20	First Raw Start	13:18
Duration	0:45:00	Offset	0:01:23
End	14:05	Last Raw End	14:17
Chapters	00:00
Total cuts_time	26 min.

http://lca2015.linux.org.au/schedule/30195/view_talk
raw-playlist raw-mp4-playlist encoded-files-playlist host public tweet mp4 svg png

final audio

assets release.pdf Coccinelle_A_program_matching_and_transformation_tool.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	Coccinelle is a program matching and transformation engine. It provides the Semantic Patch Language for specifying desired matches and transformations in C code. Coccinelle has been used in the past for finding bugs in Linux and performing collateral evolutions. Coccinelle scripts are part of the Linux source distribution and are being used by Linux developers on a regular basis. In the presentation, Himangi will review the impact of Coccinelle on the Linux kernel. Himangi will briefly introduce the structure of Coccinelle scripts. She will talk about managed interfaces like devm_ functions. Using example code changes, she will explain how coccinelle helps in detecting and transforming cases for possible use of the managed interfaces in place of the unmanaged interfaces. Himangi will discuss about coccinelle patches such as ARRAY_SIZE, BUG_ON, missing iounmap(which leads to memory leaks) etc. She will elaborate the various uses of Coccinelle like searching for all functions that have a specific return type or probe function definitions of a driver, renaming a function, adding a function argument whose value is somehow context-dependent, and reorganizing a data structure. Himangi will also highlight the capabilities of coccinelle and the limitations of the tool. The audience is anyone who are involved in Linux development. Coccinelle, though a very powerful tool is fairly new and is known to limited people in the community. Developers who look at Coccinelle patches initially find it new, feel it is very confusing and when unaware of its capabilities may decide to avoid it. This presentation will give an overview of how coccinelle can be a very useful tool and will give developers as well as maintainers an opportunity to consider using coccinelle after being exposed to its capabilities and limitations. The maintainers may also suggest using coccinelle or add TODOs if they find a use-case that is well suited to be solved by Coccinelle. markdown
Comment:	production notes

recording sheet

recording sheet

recording sheet

recording sheet

2015-01-14/13_18_37.dv Apply: 13:18:37 - 13:45:25 ( 00:26:48 ) S: 13:18:37 - E: 13:45:25 D: 00:26:48 show more...

vlc ~/Videos/veyepar/lca/lca_2015/dv/Case_Room_2/2015-01-14/13_18_37.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	13:18:37		seconds: 0.0 Wall: 13:18:37
Duration	00:26:48
	13:45:25		seconds: 0.0 Wall: 13:18:37
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2015-01-14/13_19_21.dv Apply: 13:19:21 - 13:21:53 ( 00:02:32 ) S: 13:19:21 - E: 13:21:53 D: 00:02:32 show more...

vlc ~/Videos/veyepar/lca/lca_2015/dv/Case_Room_2/2015-01-14/13_19_21.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	13:19:21		seconds: 0.0 Wall: 13:19:21
Duration	00:02:32
	13:21:53		seconds: 0.0 Wall: 13:19:21
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2015-01-14/13_21_53.dv Apply: 13:21:53 - 14:13:25 ( 00:51:32 ) S: 13:21:53 - E: 14:13:25 D: 00:51:32 show more...

vlc ~/Videos/veyepar/lca/lca_2015/dv/Case_Room_2/2015-01-14/13_21_53.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	13:21:53		seconds: 0.0 Wall: 13:21:53
Duration	00:51:32
	14:13:25		seconds: 0.0 Wall: 13:21:53
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2015-01-14/13_45_25.dv Apply: 13:45:25 - 14:17:10 ( 00:31:45 ) S: 13:45:25 - E: 14:17:10 D: 00:31:45 show more...

vlc ~/Videos/veyepar/lca/lca_2015/dv/Case_Room_2/2015-01-14/13_45_25.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	13:45:25		seconds: 0.0 Wall: 13:45:25
Duration	00:31:45
	14:17:10		seconds: 0.0 Wall: 13:45:25
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

Rf filename:	root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:	check and save to add this

2015-01-14/13_18_37.dv
audio viz

audio viz

2015-01-14/13_19_21.dv
audio viz

audio viz

2015-01-14/13_21_53.dv
audio viz

audio viz

2015-01-14/13_45_25.dv
audio viz

audio viz

Veyepar Video Eyeball Processor and Review