repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
function_hooks, debug: print impossible returns if local debug is enabled
2015-03-20
Da
n
C
arp
e
n
t
er
fu
n
ction_hoo
k
s, debug:
p
ri
n
t impossible returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
helper:
don't strip
castin
g
i
n g
e
t
_ar
r
a
y_offse
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an
Carpen
t
er
link
s
: expor
t
merge_link_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
p
enter
helper: make expr_t
o
_str()
pri
n
t forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
typ
e
: make type_t
o
_str() retu
r
n
a sname
(
)
buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modific
a
ti
o
n_hooks: set a va
r
iabl
e
a
s
modi
f
ied
when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpen
t
er
user_dat
a
2:
t
ag
it if a
funct
i
on sets par
a
me
t
ers to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack
:
cleanup a function prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpe
n
t
er
deref_c
h
eck: ig
n
ore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
rpen
t
er
type: make
sval
_
type_m
a
x()
default to "lo
n
g long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
a
r
penter
type: don't return SYM_NODE types fro
m
get_
r
eal_b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effec
t
s: the iterate_
a
ll_kinds(
)
macro
has
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpent
e
r
unreachable: don't c
o
mplain
abo
u
t iterate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
C
arpenter
flow
:
fix "foo += !bar;"
assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
t
e
r
lib: handle -fun
s
igned-char
o
p
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
k
ernel
.
ignore_side_effects: a
d
d
some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
inde
n
t
i
ng: a
l
l
o
w "break; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
u
ser_data2: mark sscanf(
)
output as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
ma
t
h,
rl: fix handing di
v
ision involving negative number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arp
e
n
ter
s
v
al: fix sval_binop_overflows
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpenter
precedence: complain about
"
fo
o
<
<
b
ar
- b
a
z
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
D
a
n Carp
e
nt
e
r
flow: h
a
n
dl
e
struct initi
a
l
i
z
a
tion bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
estate: add a
NULL ch
e
ck in
estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpen
t
er
p
ar
a
m_used: store when a parameter
i
s
u
s
ed so we
d
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Ca
r
penter
ext
r
a
:
ig
n
or
e
more __in_fak
e
_assign
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
an
C
arpent
e
r
c
omparison:
fix a
cras
h
ing
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
enter
type: add an ex
p
r_signed() f
u
nction that matc
h
es exp
r
_unsigne
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
smdb
.
p
y:
add fun
c
t
i
ons to
s
how f
u
nctions implementi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an
C
a
r
penter
extra: handle t
e
mporary shorthand pointers b
e
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
e
n
ter
de
r
eferences_para
m
: look f
o
r
poin
t
e
r
s
u
sed as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
pen
t
er
check_inden
t
ing
:
warn about missing curly
b
r
a
ces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Car
p
enter
param_
c
leared:
add a c
o
mmen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
va
l
i
d
a
t
i
on: correct some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
b
u
i
l
d: all
o
w use of PKG_CONFIG to override pkg-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: build
i
ndexes
f
a
s
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpente
r
slist: fix
compile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
kernel_p
r
intf: silence some f
a
lse
posit
i
ves using smatc
h
_
s
tr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Car
p
e
n
ter
strings:
r
ecord
w
hi
c
h strings are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Car
p
en
t
er
use
r
_data2:
t
urn on
sk
b
->dat
a
tag
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an
Car
p
enter
db
:
rename FILTER_VALUE, LIMITED_VALUE, and ADDED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an
C
ar
p
e
nter
k
e
r
nel_prin
t
f: sile
n
ce some "struct sock
a
d
dr " f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
type: add unions t
o
t
ype_to
_
str
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_value:
speed up loadi
n
g th
e
datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
*ne
w
* retur
n
_c
a
st: com
p
la
i
n about return -
E
INVAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pent
e
r
format_string: delete this because check_kernel_pr
i
n
tf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
fu
n
ction_hooks: add some
debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Car
p
ente
r
extra: cleanup d
b
_param_add_set(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Car
p
enter
ext
r
a: s
e
parate PARAM
_
L
IM
I
T
and PA
R
AM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
function_
h
oo
k
s: d
o
n't t
a
ke a
s
hortcut for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: in
t
r
o
duce alloc_
s
tate_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
t
e
r
m
a
t
h
:
handle "if (li
k
ely(
1
)
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
m
a
th:
f
ix/cleanup do_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
a
rpenter
capped: don't record single valu
e
s as capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpe
n
ter
db: ex
p
o
r
t get_s
t
atic_fil
t
e
r(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carp
e
nter
user_data2: wr
o
ng p
a
rameter
t
a
gged as us
e
r da
t
a in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
ro
s
en
b
erg: delete some
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
rosen
b
erg: strip away some c
a
s
t
i
n
g
(
elimina
t
es a fa
l
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
rose
n
b
e
r
g: don't
save unneed
e
d
s
t
ate
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
buf_si
z
e: don't save
us
e
le
s
s
i
n
f
ormation in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
struct_assignmen
t
: i
g
n
ore
mo
r
e f
a
ke assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
sli
s
t: fix debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
p
a
r
a
m_cleared,
rosenberg: add
underscored m
e
mset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
an Ca
r
penter
param_filter/s
e
t: don't record fa
k
e
a
ssignm
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
er
slist, debuggi
n
g: don't print ->possible
l
i
st if
there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
a
r
pent
e
r
type_val: a
d
d
m
ore s
t
u
f
f to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpen
t
e
r
db
/
reload_partial
.
sh: change database info for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
an
J
egen
Documentati
o
n fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
kernel_prin
t
f:
p
ut lots of si
n
gle qu
o
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpent
e
r
M
erge branch 'd
e
vel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus V
i
l
l
e
m
oes
check_kerne
l
_p
r
intf
.
c: Allow cons
t
char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
ch
e
ck_kern
e
l_printf
.
c: Handle 'fmt
?
: "d
e
fault"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus V
i
llemoes
check_kerne
l
_p
r
intf
.
c: Simp
l
ify recursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
C
arpenter
check_kernel_
p
rint
f
.
c: Simplify recursiv
e
calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
kern
e
l_printf
:
allow '\b' if it's the first c
h
aracter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
val
i
dat
i
on/sm_rosenberg
.
c:
don't pass an
un
i
nitial
i
zed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kernel_prin
t
f:
ad
d
s
ome more q
u
otes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
k
e
r
nel_pri
n
tf: mo
v
e a warning under the --s
p
ammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: add som
e
quotes around the
f
unct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ke
r
ne_
p
rintf: '
%
pb' is
v
alid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus Vil
l
emoes
check_kernel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
check_kernel
_
pri
n
tf
.
c: Str
i
p p
a
re
n
th
e
ses
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus Villemoes
check_k
e
rnel_prin
t
f
.
c:
H
andle c
o
n
d
itionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
emoes
smatch: Check the
kernel's %
p
format extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatc
h
: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
smatch: Imple
m
ent -
-
show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch:
Add dummy element to
r
eg_fun
c
s
commit
|
commitdiff
|
tree
2015-02-11
Luc
V
an Oostenr
y
ck
Avoid reuse of st
r
ing buff
e
r
w
hen concatening
adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan C
a
rpenter
wro
n
g_si
z
e_
a
rg:
w
arn about "if (m
e
mcmp
(
foo, bar,
siz
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Car
p
enter
struct_assi
g
nment: remo
v
e a blan
k
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
C
arpente
r
sval
:
h
andle LEFT
S
HIFTs in sva
l
_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpen
t
er
sval: c
a
st the result
i
n sval_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpent
e
r
typ
e
_val: updat
e
to handle PARAM_
S
ET fro
m
the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val
:
i
g
nore kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carpenter
ty
p
e_val:
ignore all
t
he
"
for
_
each"
ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpe
n
t
e
r
user_
d
ata2
:
r
e
move some
d
ebug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan
C
arpenter
help
e
r: intro
d
uce invert_op(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
enter
ranges: b
r
eak the
range list parsing into a s
e
p
arate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
an Carpenter
rang
e
s
: prepar
e
to chan
g
e a string to an es
t
ate i
n
s
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
modificat
i
on_hooks: add
P
ARAM_S
E
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpe
n
ter
p
ar
a
m_cleared:
clearing a mem
b
er is not clear
i
ng a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next